DMCA
Encoding Distributed Areas and Local Communication into the π-Calculus
by
Tom Chothia
,
Ian Stark
BibTeX
@MISC{Chothia_encodingdistributed,
author = {Tom Chothia and Ian Stark},
title = {Encoding Distributed Areas and Local Communication into the π-Calculus},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 dæmon, and investigate some limitations of the encoding. 1
