Igarashi, Atsushi; Kobayashi, Naoki 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). Cited in 14 Documents 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.) PDF BibTeX XML Cite \textit{A. Igarashi} and \textit{N. Kobayashi}, in: 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). 128--141 (2001; Zbl 1323.68410) Full Text: DOI