A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, Vasco T. Vasconcelos

abstract:
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.