文章基本信息
- 标题：A Timed Calculus for Mobile Ad Hoc Networks
- 本地全文：下载
- 作者：Mengying Wang ; Yang Lu
- 期刊名称：Electronic Proceedings in Theoretical Computer Science
- 电子版ISSN：2075-2180
- 出版年度：2012
- 卷号：105
- 页码：118-134
- DOI：10.4204/EPTCS.105.9
- 出版社：Open Publishing Association
- 摘要：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.
