Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14202
Título: A Lexically Scoped Distributed $\pi$-Calculus
Autor: Ravara, António
Matos, Ana
Vasconcelos, Vasco T.
Lopes, Luís
Data: Abr-2002
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-02-4
Resumo: 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
URI: http://hdl.handle.net/10451/14202
http://repositorio.ul.pt/handle/10455/2908
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
02-4.pdf357,12 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.