eprintid: 314
rev_number: 9
eprint_status: archive
userid: 32
dir: disk0/00/00/03/14
datestamp: 2011-05-24 12:52:30
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-24 12:52:30
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bettini, Lorenzo
creators_name: De Nicola, Rocco
creators_name: Falassi, Daniele
creators_name: Lacoste, Marc
creators_name: Lopes, Luis M. B.
creators_name: Oliveira, Licinio
creators_name: Paulino, Herve
creators_name: Vasconcelos, Vasco Thudichum
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
ispublished: pub
subjects: QA75
subjects: QA76
divisions: CSA
full_text_status: none
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. 
date: 2004
date_type: published
series: Lecture Notes in Computer Science
volume: 3267
publisher: Springer
pagerange: 179-207
id_number: 10.1007/978-3-540-31794-4_10
refereed: TRUE
isbn: 3-540-24101-9
book_title: Global Computing
editors_name: Priami, Corrado
editors_name: Quaglia, Paola
official_url: http://dx.doi.org/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.
citation:   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)