[moca] Type-based analyzer for the pi-calculus

[kobayasi@xxxxxxxxxxxxxxxxxx]

Dear Colleagues,

After many years since I start working on type systems for the pi-calculus, 
I have finally implemented a type-based analyzer for the pi-calculus.
It is based on one of our most recent work (type-based information flow analysis
for pi), and can perform lock-freedom analysis, useless-code 
elimination, and information flow analysis fully automatically (there is no need 
for program annotation).

It is available at:

  http://www.kb.cs.titech.ac.jp/~kobayasi/typical/

Best regards,

  Naoki

----
Naoki Kobayashi
Department of Computer Science
Graduate School of Information Science and Engineering
Tokyo Institute of Technology
2-12-1 Oookayama, Meguro-ku, 
Tokyo 152-8552, Japan
e-mail:kobayasi@xxxxxxxxxxxxxxx

  
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html