Hi, Does any one can tell me the static analysis tools and systems( with free source code available) for ambient calculus regards, Umar ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The "models for mobility" mailing list mailto:moca@xxxxxxxxxxxxxxx http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html