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.
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.
