Ian Stark

A Distributed Pi-Calculus with Local Areas of Communication

Tom Chothia and Ian Stark

In HLCL 2000: Proceedings of the 4th International Workshop on High-Level Concurrent Languages. Montreal, Canada, September 20, 2000. Electronic Notes in Theoretical Computer Science 41.2. Elsevier, 2001.

Fetch paper (PDF, 250k). Go to publications, talks or home page.


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

  author =    {Tom Chothia and Ian Stark},
  title =     {A Distributed $\pi$-Calculus with Local Areas of Communication},
  booktitle = {HLCL~'00: Proceedings of the 4th International Workshop on
               High-Level Concurrent Languages},
  year =      {2001},
  series =    {Electronic Notes in Theoretical Computer Science},
  number =    {41.2},
  publisher = {Elsevier},
  url =       {http://www.inf.ed.ac.uk/~stark/discla.html}

Page last modified: Tuesday 5 August 2008