The π-Calculus: A theory of mobile processes

By R. Ahmad. Scalable Computing : Practice and Experience, 2008

625 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.

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.”
The Space and Motion of Communicating Agents (2009, methodology): “Bigraphs have also used ideas from many other sources: the Ch emical Abstract machine (Cham) of Berry and Boudol [6], the bisimilarity of P ark [68], theπ-calculus of Milner, Parrow and Walker [67] with extended theory by San giorgi and Walker [73], the interaction nets of Lafont [52], the mobile am”
Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm (2005, unknown): “NMR spectra of molecules partially oriented in an anisotropic liquid-crystalline environment provide detailed information about interactions that cannot be observed in the isotropic phase.”