Observables for Mobile and Wireless Broadcasting Systems

Abstract : We discuss the presence of localities in observables for process calculi for mobile and wireless broadcasting systems in the context of weak barbed congruences and demonstrate that observability of the locality of a broadcasting node may be unsuitable when abstracting from node mobility, a natural abstraction current calculi agree upon. The discussion is carried out through a calculus bAπ, a conservative extension of the Applied π-calculus and a contribution of its own. Through examples we demonstrate the applicability of bAπ and its weak reduction congruence, where the locality of a broadcasting node is not observable, and we prove our bisimulation equivalence to be a sound and complete co-inductive characterization of the weak reduction congruence.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.1-15, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_1〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01054627
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:39:13
Dernière modification le : vendredi 11 août 2017 - 15:34:38
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 02:40:18

Fichier

obs.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Jens Chr. Godskesen. Observables for Mobile and Wireless Broadcasting Systems. Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.1-15, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_1〉. 〈hal-01054627〉

Partager

Métriques

Consultations de la notice

75

Téléchargements de fichiers

59