relation: http://eprints.imtlucca.it/314/
title: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
creator: Bettini, Lorenzo
creator: De Nicola, Rocco
creator: Falassi, Daniele
creator: Lacoste, Marc
creator: Lopes, Luis M. B.
creator: Oliveira, Licinio
creator: Paulino, Herve
creator: Vasconcelos, Vasco Thudichum
subject: QA75 Electronic computers. Computer science
subject: QA76 Computer software
description: 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. 
publisher: Springer
contributor: Priami, Corrado
contributor: Quaglia, Paola
date: 2004
type: Book Section
type: PeerReviewed
identifier:   Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Lacoste, Marc and Lopes, Luis M. B. and Oliveira, Licinio and Paulino, Herve and Vasconcelos, Vasco Thudichum  A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.   In:  Global Computing.   Lecture Notes in Computer Science, 3267 .  Springer, pp. 179-207.  ISBN 3-540-24101-9      (2004)  
relation: http://dx.doi.org/10.1007/978-3-540-31794-4_10
relation: 10.1007/978-3-540-31794-4_10