Go to:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Start > Publications > View > Distribution and Mobility with Lexical Scoping in Process Calculi
Publication

Publications

Distribution and Mobility with Lexical Scoping in Process Calculi

Title
Distribution and Mobility with Lexical Scoping in Process Calculi
Type
Article in International Scientific Journal
Year
1998
Authors
Vasconcelos, VT
(Author)
Other
The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. View Authenticus page Without ORCID
Lopes, L
(Author)
FCUP
View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page View ORCID page
Journal
Vol. 16
Pages: 189-204
ISSN: 1571-0661
Publisher: Elsevier
Indexing
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Other information
Authenticus ID: P-007-2EF
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
Documents
We could not find any documents associated to the publication.
Related Publications

Of the same authors

Fine-grained multithreading with process calculi (2001)
Article in International Scientific Journal
Lopes, L; Vasconcelos, VT; Silva, F
A virtual machine for a process calculus (1999)
Article in International Scientific Journal
Lopes, L; Silva, F; Vasconcelos, VT
Fine grained multithreading with process calculi (2000)
Article in International Conference Proceedings Book
Lopes, L; Silva, F; Vasconcelos, VT
A concurrent programming environment with support for distributed computations and code mobility (2000)
Article in International Conference Proceedings Book
Lopes, L; Figueira, A; Silva, F; Vasconcelos, VT

Of the same journal

Preface (2017)
Another Publication in an International Scientific Journal
Nigam V.; Florido, M
Linear Recursion (2010)
Other Publications
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
Towards the integration of visual and formal models for GUI testing (2007)
Article in International Scientific Journal
Ana C. R. Paiva; João C. P. Faria ; Raul F. A. M. Vidal
The Power of Closed Reduction Strategies (2007)
Article in International Scientific Journal
Alves, S; Fernandez, M; Florido, M; Mackie, I
Preface (1999)
Article in International Scientific Journal
Ines Dutra; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Manuel Carro; Peter Kacsuk

See all (11)

Recommend this page Top
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-24 at 18:59:21 | Privacy Policy | Personal Data Protection Policy | Whistleblowing