Back to Search Start Over

A Timed Calculus for Mobile Ad Hoc Networks

Authors :
Wang, Mengying
Lu, Yang
Source :
EPTCS 105, 2012, pp. 118-134
Publication Year :
2012

Abstract

We develop a timed calculus for Mobile Ad Hoc Networks embodying the peculiarities of local broadcast, node mobility and communication interference. We present a Reduction Semantics and a Labelled Transition Semantics and prove the equivalence between them. We then apply our calculus to model and study some MAC-layer protocols with special emphasis on node mobility and communication interference. A main purpose of the semantics is to describe the various forms of interference while nodes change their locations in the network. Such interference only occurs when a node is simultaneously reached by more than one ongoing transmission over the same channel.<br />Comment: In Proceedings FTSCS 2012, arXiv:1212.6574

Details

Database :
arXiv
Journal :
EPTCS 105, 2012, pp. 118-134
Publication Type :
Report
Accession number :
edsarx.1301.0045
Document Type :
Working Paper
Full Text :
https://doi.org/10.4204/EPTCS.105.9