Ian Stark

Encoding Distributed Areas and Local Communication into the Pi-Calculus

Tom Chothia and Ian Stark

In EXPRESS '01: Proceedings of the 8th International Workshop on Expressiveness in Concurrency, Aalborg, Denmark, 20 August 2001, Electronic Notes in Theoretical Computer Science 52.1. Elsevier, 2001.

Fetch paper (PDF, 269k). Go to other papers, talks or home page.


We show how the pi-calculus can express local communications within a distributed system, through an encoding of the local area pi-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 dæmon, and investigate some limitations of the encoding.

  author =       {Tom Chothia and Ian Stark},
  title =        {Encoding Distributed Areas and Local Communication into the
  booktitle =    {EXPRESS~'01: Proceedings of the 8th International Workshop
                  on Expressiveness in Concurrency},
  year =         2001,
  number =       {52.1},
  series =       {Electronic Notes in Theoretical Computer Science},
  publisher =    {Elsevier},
  url =          {http://www.inf.ed.ac.uk/~stark/encdal.html},
  pdf =          {http://www.inf.ed.ac.uk/~stark/encdal.pdf}

Page last modified: Tuesday 5 August 2008