The Pi-Calculus - a theory of mobile processes

By D. Sangiorgi, D. Walker. 2001

1,264 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Verdi: a framework for implementing and formally verifying distributed systems (2015, background): “There are many models for formalizing and specifying the correctness of distributed systems [7, 31, 35].”
Session Types as Intuitionistic Linear Propositions (2010, methodology): “To characterize the interactions a process may perform with its environment, we introduce a labeled transition system; the standard early transition system for the π-calculus [24] extended with appropriate labels and transition rules for the choice constructs.”
Free-Algebra Models for the pi-Calculus (2005, background): “For π-calculus information, see one of the books [16, 32] or Parrow’s handbook chapter [23].”
Subtyping for session types in the pi calculus (2005, methodology): “The pi calculus [21,30] has been used as a vehicle for much research on static type systems for concurrent programming languages, for example [6,16–18,20,25,27,28,32,34], in addition to its widespread use for modelling and reasoning about concurrent systems.”
The origins of structural operational semantics (2004, unknown): “Milner’s pi-calculus [63]).”