Lexically scoped distribution: what you see is what you get |
| |
Authors: | Antnio Ravara Ana G Matos Vasco T Vasconcelos Luís Lopes |
| |
Affiliation: | aCLC and Dep. of Mathematics, IST, Technical University of Lisbon, Portugal;bINRIA, Sophia-Antipolis, France;cDep. of Informatics, Faculty of Sciences, University of Lisbon, Portugal;dDep. of Computer Science, Faculty of Sciences, University of Porto, Portugal |
| |
Abstract: | We define a lexically scoped, asynchronous and distributed π-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 π-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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|