Encoding Distributed Areas and Local Communication into the pi-Calculus

Tom Chothia, Ian Stark. Encoding Distributed Areas and Local Communication into the pi-Calculus. Electronic Notes in Theoretical Computer Science, 52(1):101-119, 2001. [doi]

@article{ChothiaS01,
  title = {Encoding Distributed Areas and Local Communication into the pi-Calculus},
  author = {Tom Chothia and Ian Stark},
  year = {2001},
  url = {http://www.elsevier.com/gej-ng/31/29/23/96/27/show/Products/notes/index.htt#008},
  researchr = {https://researchr.org/publication/ChothiaS01},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {52},
  number = {1},
  pages = {101-119},
}