[moca] Re: Probabilistic Bisimulation of Pi-Calculus?

[Janardan Mishra <janardan@xxxxxxxxxxxxxxx>]

Actually I ant sure if I am reply with what you asked for still ...
Corrado Priami have done enough work on stochastic pi-calculus
including stochastic strong bisimulation with axiomatization and general
distributions.. one can also refer to the "Handbook of process algebra,
edited by Bergstra, Ponse and Smolka" for a concise introduction on
the broader topic .. (chap 11) with discussion on probabilistic
(strong and weak) bisimulations .. which hold good same with pi-cal
barring some technical details... 
 Janardan

On Thu, 27 Feb 2003, wang li bin wrote:

> 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 
> 
> 


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