A Distributed π-Calculus with Local Areas of Communication

Tom Chothia, Ian Stark

Research output: Contribution to journalArticlepeer-review


This paper introduces a process calculus designed to capture the phenomenon of names which are known universally but always refer to local information. Our system extends the π-calculus so that a channel name can have within its scope several disjoint local areas. Such a channel name may be used for communication within an area, it may be sent between areas, but it cannot itself be used to transmit information from one area to another. Areas are arranged in a hierarchy of levels, distinguishing for example between a single application, a machine, or a whole network. We give an operational semantics for the calculus, and develop a type system that guarantees the proper use of channels within their local areas. We illustrate with models of an internet service protocol and a pair of distributed agents.
Original languageEnglish
Pages (from-to)1-16
Number of pages16
JournalElectronic Notes in Theoretical Computer Science
Issue number2
Publication statusPublished - Jul 2001


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

Cite this