TY  - CHAP
AV  - none
ID  - eprints314
TI  - A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
UR  - http://dx.doi.org/10.1007/978-3-540-31794-4_10
EP  - 207
PB  - Springer
T3  - Lecture Notes in Computer Science
SP  - 179
T2  - Global Computing
A1  - Bettini, Lorenzo
A1  - De Nicola, Rocco
A1  - Falassi, Daniele
A1  - Lacoste, Marc
A1  - Lopes, Luis M. B.
A1  - Oliveira, Licinio
A1  - Paulino, Herve
A1  - Vasconcelos, Vasco Thudichum
M1  - 3267
ED  - Priami, Corrado
ED  - Quaglia, Paola
N2  - We describe the architecture and the implementation of the Mikado software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer with primitives to design and implement run-time systems for distributed process calculi. The paper describes the four main components of abstract machines for mobile calculi (node topology, naming and binding, communication protocols and mobility) that have been implemented as Java packages. The paper also contains the description of a prototype implementation of a run-time system for the Distributed Pi-Calculus relying on the presented framework. 
SN  - 3-540-24101-9
Y1  - 2004///
ER  -