Subject

Pi-calculus.

Explore catalogue records classified under Pi-calculus..

3 catalogue records

Catalogue records

A distributed pi-calculus Hennessy, Matthew 2007 Communicating and mobile systems Milner, Robin 1999 The -calculus: a theory of mobile processes Sangiorgi, Davide 2001