Download:
by Vasco T. Vasconcelos A, Luís Lopes B, O Silva B
http://www.di.fc.ul.pt/~vv/papers/distmob.pdf
Add To MetaCart
Abstract:
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. 1
Citations
|
886
|
A Calculus of Mobile Processes
– Milner, Parrow, et al.
- 1992
|
|
663
|
Mobile ambients
– Cardelli, Gordon
|
|
410
|
A language with distributed scope
– Cardelli
- 1995
|
|
282
|
An object calculus for asynchronous communication
– Honda, Tokoro
- 1991
|
|
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
|
|
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
|
|
72
|
Trust and partial typing in open systems of mobile agents
– Riely, Hennessy
- 1999
|
|
62
|
The pi-calculus in direct style
– Boudol
- 1997
|
|
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
|
|
8
|
Core-TyCO, the language definition, version 0.1
– Vasconcelos, Bastos
- 1998
|
|
2
|
Compiling process calculi
– Lopes, Silva, et al.
- 1998
|
