Sciweavers

Share
GC
2004
Springer

A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi

10 years 9 months ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
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 n 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.
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where GC
Authors Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
Comments (0)
books