Advisor(s)
Abstract(s)
We define the syntax, the operational semantics, and a type system for lsd-pi, an asynchronous and distributed $\pi$-calculus with local communication and process migration. The calculus follows a simple model of distribution for mobile calculi, with a lexical scoping mechanism that provides both for remote communication and for process migration, making explicit migration primitives superfluous
Description
Keywords
Pedagogical Context
Citation
Publisher
Department of Informatics, University of Lisbon