Mobile Calculi based on Domains


Lexically scoping distribution: what you see is what you get

A. Ravara and A. Matos and V. Vasconcelos and L. Lopes

Abstract

We define a lexically scoped, asynchronous and distributed pi-calculus, with local communication and process migration. This calculus adopts the network-awareness principle for distributed programming and follows a simple model of distribution for mobile calculi: a lexical scope discipline combines static scoping with dynamic linking, associating channels to a fixed site throughout computation. This discipline provides for both remote invocation and process migration. A simple type system is a straightforward extension of that of the pi-calculus, adapted to take into account the lexical scope of channels. An equivalence law captures the essence of this model: a process behavior depends on the channels it uses, not on where it runs.

@InProceedings\{ravara.etal:lsd-wysiwyg,
  author = \{A. Ravara and A. Matos and V. Vasconcelos and L. Lopes},
  title = \{Lexically scoping distribution: what you see is what you get},
  booktitle = \{FGC: Foundations of Global Computing},
  year = \{2003}, 
  volume = \{85(1)}, 
  series = \{ENTCS}, 
  publisher = \{Elsevier}, 
  url = \{http://mikado.di.fc.ul.pt/repository/ravara.etal_lsd-wysiwyg.pdf}
}


About this site. Last modified: Wed Sep 20 21:57:30 CEST 2017