Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BusiPadovani05 (In proceedings)
Author(s) Nadia Busi and Luca Padovani
Title« A Distributed Implementation of Mobile Nets as Mobile Agents »
InProceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05)
SeriesLNCS
Volume3535
Page(s)259-274
Year2005
PublisherSpringer
URLhttp://www.di.unito.it/~padovani/Papers/lncs_3535.pdf
Abstract
Mobile nets arise as a combination of the name managing techniques of the π-calculus with the representation of concurrency and locality of Petri nets. We propose MAGNETs, a variant of mobile nets that are suitable for an effective, distributed implementation. Such implementation extends an implementation of the Join calculus virtual machine with dynamic reconfiguration features.

BibTeX code

@inproceedings{BusiPadovani05,
  volume = {3535},
  author = {Nadia Busi and Luca Padovani},
  series = {LNCS},
  booktitle = {Proceedings of the IFIP International Conference on Formal
               Methods for Open Object-based Distributed Systems (FMOODS'05)},
  url = {http://www.di.unito.it/~padovani/Papers/lncs_3535.pdf},
  abstract = { Mobile nets arise as a combination of the name managing
              techniques of the $\pi$-calculus with the representation of
              concurrency and locality of Petri nets. We propose MAGNETs, a
              variant of mobile nets that are suitable for an effective,
              distributed implementation. Such implementation extends an
              implementation of the Join calculus virtual machine with dynamic
              reconfiguration features. },
  title = {{A Distributed Implementation of Mobile Nets as Mobile Agents}},
  publisher = {Springer},
  year = {2005},
  pages = {259-274},
  doi = {10.1007/11494881\_17},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

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

Valid HTML 4.01!