A distributed implementation of mobile nets as mobile agents

Authors:
Nadia Busi;Luca Padovani
Affiliations:
Department of Computer Science, University of Bologna, Bologna, Italy;Department of Computer Science, University of Bologna, Bologna, Italy
Venue:
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Year:
2005

Citing 13
Cited 1

A calculus of mobile processes, I

Information and Computation
The reflexive CHAM and the join-calculus

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrency in communicating object petri nets

Concurrent object-oriented programming and petri nets
Generalizations of Petri Nets

Proceedings on Mathematical Foundations of Computer Science
A Calculus of Mobile Agents

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Mobile Nets

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Petri Nets as Token Objects: An Introduction to Elementary Object Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Cooperative Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs

Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Mobile Petri Nets

Mobile Petri Nets
On Processes of Object Petri Nets

On Processes of Object Petri Nets
Modelling mobility and mobile agents using nets within nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Smooth orchestrators

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

Quantified Score

Hi-index	0.00

Visualization

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.