Modelling MAC-Layer Communications in Wireless Systems

Abstract : We present a timed broadcast process calculus for wireless networks at the MAC-sublayer where time-dependent communications are exposed to collisions. We define a reduction semantics for our calculus which leads to a contextual equivalence for comparing the external behaviour of wireless networks. Further, we construct an extensional LTS (labelled transition system) which models the activities of stations that can be directly observed by the external environment. Standard bisimulations in this novel LTS provide a sound proof method for proving that two systems are contextually equivalent. In addition, the main contribution of the paper is that our proof technique is also complete for a large class of systems.
Type de document :
Communication dans un congrès
Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.16-30, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01486032
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:53:04
Dernière modification le : jeudi 9 mars 2017 - 17:00:11
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:44:11

Fichier

978-3-642-38493-6_2_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Andrea Cerone, Matthew Hennessy, Massimo Merro. Modelling MAC-Layer Communications in Wireless Systems. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.16-30, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_2〉. 〈hal-01486032〉

Partager

Métriques

Consultations de la notice

82

Téléchargements de fichiers

13