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.
A Distributed Implementation of Mobile Nets as Mobile Agents / N. Busi; L. Padovani. - STAMPA. - 3535:(2005), pp. 259-274. (Intervento presentato al convegno 7th IFIP WG 6.1 International Conference, FMOODS 2005 tenutosi a Athens, Greece nel June 15-17, 2005) [10.1007/11494881_17].
A Distributed Implementation of Mobile Nets as Mobile Agents
BUSI, NADIA;
2005
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
