CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishMobile 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.
| Titolo: | A Distributed Implementation of Mobile Nets as Mobile Agents | |
| Autore/i: | BUSI, NADIA; L. Padovani | |
| Autore/i Unibo: | ||
| Anno: | 2005 | |
| Serie: | ||
| Titolo del libro: | Formal Methods for Open Object-Based Distributed Systems | |
| Pagina iniziale: | 259 | |
| Pagina finale: | 274 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/11494881_17 | |
| 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. | |
| Data prodotto definitivo in UGOV: | 10-ott-2005 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11585/12684
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2021