Modelling MAC-layer communications in wireless systems.
Citation:
Andrea Cerone, Matthew Hennessy and Massimo Merro., Modelling MAC-layer communications in wireless systems., Trinity College, Dublin, Ireland., Trinity College, Dublin, Ireland., September, 2012Download Item:
Abstract:
We present a timed process calculus for modelling wireless networks in which individual
stations broadcast and receive messages; moreover the broadcasts are subject to collisions.
Based on a reduction semantics for the calculus we define a contextual equivalence to compare
the external behaviour of such 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 LTS provide a sound proof
method for proving systems contextually equivalence. We illustrate the usefulness of the proof
methodology by a series of examples. Finally we show that this proof method is also complete,
for a large class of systems.
Sponsor
Grant Number
Science Foundation Ireland (SFI)
06 IN.1 1898
Author's Homepage:
http://people.tcd.ie/mcbhenneDescription:
PUBLISHEDSFI 06 IN.1 1898.
Trinity College, Dublin, Ireland.
Author: HENNESSY, MATTHEW; CERONE, ANDREA
Publisher:
Trinity College, Dublin, Ireland.Type of material:
ReportAvailability:
Full text availableKeywords:
modelling wireless networksDOI:
https://www.cs.tcd.ie/Matthew.Hennessy/pubs/TCD-CS-2012-17.pdfMetadata
Show full item recordLicences: