# zbMATH — the first resource for mathematics

A generic type system for the $$\pi$$-calculus. (English) Zbl 1323.68410
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’01, London, UK, January 17–19, 2001. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-336-7). 128-141 (2001).

##### MSC:
 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 03B70 Logic in computer science 68Q55 Semantics in the theory of computing 68Q60 Specification and verification (program logics, model checking, etc.)
Full Text: