![](/img/cover-not-exists.png)
Sangiorgi Davide and Walker David. The π-calculus: a theory of mobile processes . Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp.
Hüttel, HansVolume:
8
Language:
english
Journal:
Bulletin of Symbolic Logic
DOI:
10.2178/bsl/1182353926
Date:
December, 2002
File:
PDF, 79 KB
english, 2002