Ravara, AntónioMatos, AnaVasconcelos, Vasco T.Lopes, Luís2009-02-102014-11-142009-02-102014-11-142002-04http://hdl.handle.net/10451/14202http://repositorio.ul.pt/handle/10455/2908We 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 superfluousporreport