Distribution and Mobility with Lexical Scoping in Process Calculi

• Type: Article in International Scientific Journal
• Date: 1998

Authors

Vasconcelos, VT (Author) Other; Lopes, L (Author) FCUP; Silva, F (Author) FCUP

Journal

Title: Electronic Notes in Theoretical Computer Science

Vol. 16

Pages: 189-204

ISSN: 1571-0661

Publisher: Elsevier

Indexing

ISI Web of Knowledge

Scopus - 15 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16