L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
....they do not allow for a running process to be migrated to a di#erent locality, unless the process has been explicitly defined to allow for such a migration. Variants of the first order asynchronous # calculus with explicit localities such as the Join calculus [6, 11] Nomadic Pict [24] DiTyCo [12], or the # 1l calculus [1] feature process migration primitives (go in the Join calculus, spawn in the # 1l calculus, migrate in Nomadic Pict) but lack su#cient control over resource access and process migration. Compared to these works, the M calculus has several distinguishing features. Its ....
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
MIKADO Global Computing Project - Ist- Mobile Calculi (Correct)
.... recently, several formal models for distributed and mobile computing have been proposed, including, for example, the Join calculus [12] the # 1l calculus [2] the Ambient calculus 5 [9] the Safe Ambient calculus [23] the Seal calculus [32] the D# calculus [20] the D## calculus [33] DiTyCO [24], Nomadic Pict [27] KLAIM [26] Oz [28] see [10] for a survey of process calculi with localities) Also, various extensions of the Actor model, such as [14] have recently been proposed which aim to adapt the actor model of computation to large scale distributed and mobile computing. Very often, ....
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
Information Societies Technology - Ist Programme Contract (Correct)
.... (see e.g. 1,32] More recently, several formal models for distributed and mobile computing have been proposed, including, for example, the Join calculus [16] the p 1l calculus [2] the Ambient calculus [10] the Safe Ambient calculus [25] the Seal calculus [37] the Dp calculus [22] DiTyCO [26], Nomadic Pict [28] KLAIM[14] Oz [30] see also [11] for a survey of process calculi with localities) Also, various extensions of the Actor model [18] have recently been proposed which aim to adapt the actor model of computation to large scale distributed and mobile computing. Very often, ....
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. 5th Mobile Object Systems Workshop (MOS'99).
A Virtual Machine for a Process Calculus - Lopes, Silva, Vasconcelos Self-citation (Lopes Silva Vasconcelos) (Correct)
....It is important A Virtual Machine for a Process Calculus 9 that the compilation preserves the nested structure of the source program in the nal byte code. This provides a very ecient way of extracting byte code blocks at run time when considering code mobility in distributed computations [14, 24]. To illustrate the compilation we present a skeletal version of the unoptimized, intermediate code for the Cell example presented in section 2. The run time environment of a vm thread is distributed into three distinct locations: the parameter and free variable bindings pointed to by registers PM ....
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In 5 th Mobile Object Systems Workshop, 1999. part of ECOOP'99.
A Virtual Machine for a Process Calculus - Lus Lopes Fernando Self-citation (Lopes Silva Vasconcelos) (Correct)
....It is important A Virtual Machine for a Process Calculus 9 that the compilation preserves the nested structure of the source program in the final byte code. This provides a very e#cient way of extracting byte code blocks at run time when considering code mobility in distributed computations [14, 24]. To illustrate the compilation we present a skeletal version of the unoptimized, intermediate code for the Cell example presented in section 2. The run time environment of a vm thread is distributed into three distinct locations: the parameter and free variable bindings pointed to by registers PM ....
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In 5 th Mobile Object Systems Workshop, 1999. part of ECOOP'99.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
A Calculus of Higher-Order Distributed Components - Stefani (2003) (7 citations) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
Ist-2001-33234 - Peer-To-Peer Implementation And (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
A Calculus of Kells - Jean-Bernard Stefani Inria (2003) (2 citations) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2002) (6 citations) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An experiment in code mobility from the realm of process calculi. In 5 th Mobile Object Systems Workshop, 1999. part of ECOOP'99.
The M-calculus: A Higher-Order Distributed Process Calculus - Schmitt, Stefani (2003) (6 citations) (Correct)
No context found.
L. Lopes, F. Silva, A. Figueira, and V. Vasconcelos. DiTyCO: An Experiment in Code Mobility from the Realm of Process Calculi. In Proceedings 5th Mobile Object Systems Workshop (MOS'99), 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC