@INPROCEEDINGS{BDFL06,
  title = {{Implementing a distributed mobile calculus using the IMC framework}},
  author = {Bettini, Lorenzo and De Nicola, Rocco and Falassi, Daniele and Loreti, Michele},
  booktitle = {Proc. of MTCOORD (2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems)},
  pages = {63-79},
  abstract = {In the last decade, many calculi for modelling distributed mobile code have been
      proposed.  To assess their merits and encourage use, implementations of the
      calculi have often been proposed.  These implementations usually consist of a
      limited part dealing with mechanisms that are specific of the proposed calculus
      and of a significantly larger part handling recurrent mechanisms that are common
      to many calculi.  Nevertheless, also the ``classic'' parts are often
      re-implemented from scratch.  In this paper we show how to implement a well
      established representative of the family of mobile calculi, the distributed
      pi-calculus, by using a Java middleware (called IMC - Implementing Mobile
      Calculi) where recurrent mechanisms of distributed and mobile systems are
      already implemented. By means of the case study, we illustrate a methodology to
      accelerate the development of prototype implementations while concentrating only
      on the features that are specific of the calculus under consideration and
      relying on the common framework for all the recurrent mechanisms like network
      connections, code mobility, name handling, etc.},
  publisher = {Elsevier},
  series = {ENTCS},
  volume = {181},
  year = {2007},
  url = {http://rap.dsi.unifi.it/bibliography/files/jdpi.pdf},
}