Lexically scoping distribution: what you see is what you get
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: Fri Apr 19 00:28:22 CEST 2024