Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks

Abstract : Recently, there have been several studies focusing on the implementation of process calculi with distribution and mobility. Among these, Pan and GcPan are distributed abstract machines for executing Safe Ambients, a variant of the Ambient calculus. However, in order to use them or to exploit their implementation techniques, we must assume all-to-all and permanent connectivity in the underlying network; this is inappropriate for most real-world wide-area and mobile networks, in which each private network is delimited by network boundaries and each mobile device may become disconnected at any moment. In this paper, we propose novel abstract machines Panmov, GcPanmov, and GcPanshift that can handle such network boundaries and mobile devices by using a special kind of agents called boundary forwarders. Especially in GcPanshift, operations related to boundary forwarders improve the fault tolerance of user programs. Finally, we prove the correctness of the proposed machines by using weak barbed bisimulation.
Type de document :
Communication dans un congrès
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.172-186, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_12〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01583000
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 septembre 2017 - 14:55:12
Dernière modification le : mercredi 6 septembre 2017 - 15:01:32

Fichier

978-3-642-21464-6_12_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Seiji Umatani, Masahiro Yasugi, Taiichi Yuasa. Abstract Machines for Safe Ambients in Wide-Area and Mobile Networks. Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.172-186, 2011, Coordination Models and Languages. 〈10.1007/978-3-642-21464-6_12〉. 〈hal-01583000〉

Partager

Métriques

Consultations de la notice

27

Téléchargements de fichiers

3