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. The main contribution of the paper is that our proof technique for the contextual equivalence is not only sound but also complete for a large class of systems.

Modelling MAC-Layer Communications in Wireless Systems

MERRO, Massimo
2013-01-01

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. The main contribution of the paper is that our proof technique for the contextual equivalence is not only sound but also complete for a large class of systems.
2013
9783642384929
WIRELESS SYSTEMS; MAC-Layer communications; Communication collisions
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/647953
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 1
social impact