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