Observables for Mobile and Wireless Broadcasting Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Observables for Mobile and Wireless Broadcasting Systems

Résumé

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.
Fichier principal
Vignette du fichier
obs.pdf (206.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054627 , version 1 (07-08-2014)

Licence

Paternité

Identifiants

Citer

Jens Chr. Godskesen. Observables for Mobile and Wireless Broadcasting Systems. 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. pp.1-15, ⟨10.1007/978-3-642-13414-2_1⟩. ⟨hal-01054627⟩
60 Consultations
74 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More