[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[moca] Re: RE : synchronous implementation of Pi calculus with choice?



Dear all,

> fact implies that it is not possible to obtain an efficient implementation
> of the full synchronous pi-calculus, and it has motivated the search for
> subsets of Pi that enjoy better properties. One notable example is the
> Join-calculus, see http://join.inria.fr/, and the work on TyCO that has been
> recently mentioned on this list. 

Another example is Nomadic Pict--a strongly-typed distributed programming 
language based on a variant of the Pi-calculus. The language has been 
implemented as an extension of Pierce and Turner's Pict.

The project page with all papers:
http://www.cl.cam.ac.uk/users/pes20/nomadicpict.html

Distribution files, documentation, examples:
http://lsrwww.epfl.ch/~pawel/nomadicpict.html 

Best regards,
Pawel Wojciechowski

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