@inproceedings{BDFLLOPV04,
  volume = {3267},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and
            Lacoste, Marc and Lopes, Luis and Oliveira, Licinio and Paulino,
            Herve and Vasconcelos, Vasco T.},
  series = {LNCS},
  booktitle = {Global Computing. IST/FET International Workshop, GC 2004,
               Revised Papers},
  editor = {C. Priami},
  url = {http://rap.dsi.unifi.it/~bettini/bibliography/files/imc-global.ps.gz},
  title = {{A Software Framework for Rapid Prototyping of Run-Time Systems for
           Mobile Calculi}},
  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.},
  publisher = {Springer},
  year = {2004},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)