[moca] synchronous implementation of Pi calculus with choice?

["Bill at GLO Ltd" <bill@xxxxxxxxxx>]

Hi

Does anybody know of an implementation of the pi calculus that
is synchronous and has the choice operator. There seem to be a few
asynchronous implementations , with or without choice.

What are peoples opinions of the relative merits of this , also if
there is no such implementation , why not ? as this is the semantics
as given by Milner.


Regards 

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