Modelling MAC-Layer Communications in Wireless Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Modelling MAC-Layer Communications in Wireless Systems

Andrea Cerone
  • Function : Author
  • PersonId : 1003818
Matthew Hennessy
  • Function : Author
  • PersonId : 1003819


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.
Fichier principal
Vignette du fichier
978-3-642-38493-6_2_Chapter.pdf (156.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01486032 , version 1 (09-03-2017)





Andrea Cerone, Matthew Hennessy, Massimo Merro. Modelling MAC-Layer Communications in Wireless Systems. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. pp.16-30, ⟨10.1007/978-3-642-38493-6_2⟩. ⟨hal-01486032⟩
82 View
67 Download



Gmail Facebook Twitter LinkedIn More