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

[moca] Probabilistic Bisimulation of Pi-Calculus?



Dear all,

I would like to get some feedback about the study of Probabilistic Bisimulation based on Pi-Calculus, any recommendations would be appreciated. 

Regard,

Libin




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