BusiPadovani05 (In proceedings)
|
Author(s) | Nadia Busi and Luca Padovani |
Title | « A Distributed Implementation of Mobile Nets as Mobile Agents » |
In | Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05) |
Series | LNCS |
Volume | 3535 |
Page(s) | 259-274 |
Year | 2005 |
Publisher | Springer |
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 -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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)