Download:
|
by O Silva, Alvaro Figueira, Vasco T. Vasconcelos
In Proceedings 5th Mobile Object Systems Workshop (MOS’99
http://cui.unige.ch/~ecoopws/ws99/papers/lopes.ps.gz
Add To MetaCart
Abstract:
We propose a simple formal model of distribution for mobile objects in the context of the TyCO process calculus. Code mobility is induced by lexical scoping on names and template process denitions. Objects and messages migrate towards the site where their prex names are lexically bound. Template process denitions, on the other hand, are downloaded from the site where they are dened, and are instantiated locally upon arrival. Based on this model we describe the run-time support for distribution and code mobility implemented in DiTyCO, an extension of the TyCO programming language. Keywords: Process-Calculus, Concurrency, Code-Mobility, Implementation.
Citations
|
663
|
Mobile ambients
– Cardelli, Gordon
|
|
607
|
A Calculus for Cryptographic Protocols: The Spi Calculus
– Abadi, Gordon
- 1999
|
|
412
|
The chemical abstract machine
– Berry, Boudol
- 1992
|
|
410
|
A language with distributed scope
– Cardelli
- 1995
|
|
282
|
An object calculus for asynchronous communication
– Honda, Tokoro
- 1991
|
|
277
|
A calculus of mobile agents
– Fournet, Gonthier, et al.
- 1996
|
|
233
|
Pict: A programming language based on the pi-calculus
– Pierce, Turner
- 2000
|
|
183
|
The reflexive chemical abstract machine and the join-calculus
– Fournet, Gonthier
- 1996
|
|
183
|
Resource access control in systems of mobile agents
– Hennessy, Riely
|
|
135
|
A Calculus of Mobile
– Milner, Parrow, et al.
- 1992
|
|
123
|
An asynchronous model of locality, failure, and process mobility
– Amadio
- 1997
|
|
90
|
Language primitives and type discipline for structured communication-based programming
– Honda, Vasconcelos, et al.
- 1998
|
|
89
|
et al. Myrinet: A Gigabit-per-Second Local Area Network
– Boden, Cohen
- 1995
|
|
53
|
A Typing System for a Calculus of Objects
– Vasconcelos, Tokoro
- 1993
|
|
51
|
Distributed processes and location failures
– Riely, Hennessy
- 1997
|
|
30
|
Location independence for mobile agents
– Sewell, Wojciechowski, et al.
- 1998
|
|
21
|
The Chemical Abstract
– Berry, Boudol
- 1992
|
|
14
|
Distribution and Mobility with Lexical Scoping in Process Calculi
– Vasconcelos, Lopes, et al.
- 1998
|
|
12
|
A Virtual Machine for the TyCO Process Calculus
– Lopes, Silva, et al.
- 1999
|
|
6
|
Core-TyCO - The Language Definition
– Vasconcelos, Bastos
- 1998
|
|
5
|
Theory and Practice of Object Systems
– Processes, Datatypes
- 1999
|
|
5
|
Core-TyCO - The Language De
– Vasconcelos, Bastos
- 1998
|
|
3
|
et al. High Performance Virtual Machines (HPVM): Clusters with Supercomputing APIs and Performance
– Chien
- 1997
|
