Encoding Distributed Areas and Local Communication into the π-Calculus

Tom Chothia, Ian Stark

Research output: Contribution to journalArticlepeer-review


We show how the π-calculus can express local communications within a distributed system, through an encoding of the local area π-calculus, an enriched system that explicitly represents names which are known universally but always refer to local information. Our translation replaces point-to-point communication with a system of shared local ethers; we prove that this preserves and reflects process behaviour. We give an example based on an internet service daemon, and investigate some limitations of the encoding.
Original languageEnglish
Pages (from-to)101-119
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Issue number1
Publication statusPublished - 2002


Dive into the research topics of 'Encoding Distributed Areas and Local Communication into the π-Calculus'. Together they form a unique fingerprint.

Cite this