Distribution and Mobility with Lexical Scoping in Process Calculi

• Tipo: Artigo em Revista Científica Internacional
• Data: 1998

Autores

Vasconcelos, VT (Autor) Outra; Lopes, L (Autor) FCUP; Silva, F (Autor) FCUP

Revista

Título: Electronic Notes in Theoretical Computer Science

Vol. 16

Páginas: 189-204

ISSN: 1571-0661

Editora: Elsevier

Indexação

ISI Web of Knowledge

Scopus - 15 Citações

Outras Informações

ID Authenticus: P-007-2EF

DOI: 10.1016/S1571-0661(04)00142-2

Abstract (EN): We propose a simple model of distribution for mobile processes, independent of the underlying calculus. Conventional processes compute within sites; inter-site computation is achieved by message sending and object migration, both obeying a lexical scope. We focus on the semantics of networks, on programming practice, and on physical realization with current technology. ©1998 Published by Elsevier Science B.V.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 16