@inproceedings{mtcoord06,
  author = {Lorenzo Bettini and Rocco {De Nicola} and Daniele Falassi and
            Michele Loreti},
  note = {To appear},
  series = {ENTCS},
  booktitle = {Proc. of MTCOORD (2nd International Workshop on Methods and Tools
               for Coordinating Concurrent, Distributed and Mobile Systems)},
  title = {{Implementing a distributed mobile calculus using the IMC
           framework}},
  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},
  year = 2006,
}

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