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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/978-3-540-31794-4_10 |
| Funders: | This work has been funded by EU-FET on Global Computing, project Mikado IST-2001-32222. The funding body is not responsible for any use that might be made of the results presented here. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
| Research Area: | Computer Science and Applications |
| Depositing User: | Rocco De Nicola |
| Date Deposited: | 24 May 2011 12:52 |
| Last Modified: | 11 Jul 2011 14:36 |
| URI: | http://eprints.imtlucca.it/id/eprint/314 |
Actions (login required)
 |
Edit Item |
