Formal Modeling of Greedy Nodes in 802.15.4 WSN
This paper deals with formal specification of the non-slotted CSMA/CA protocol in wireless sensor networks(WSN) whose some nodes own a greedy behavior. This protocol requires sensor nodes to wait some time before initiating a transmission, whereas greedy nodes may try to reduce their waiting duratio...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2015-06-01
|
| Series: | ICT Express |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S240595951530014X |