Semantic analysis of gossip protocols for wireless sensor networks

DOI10.1007/978-3-642-23217-6_11MaRDI QIDQ3090828zbMATH OpenOpenAlexWikidataFDO

Authors Ruggero Lanotte, Massimo Merro

Publication date 2 September 2011

Published in CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-23217-6_11

Mathematics Subject Classification ID

Network protocols (68M12) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Equational reasonings in wireless network gossip protocols
• Modelling probabilistic wireless networks
• An analytical model of information dissemination for a gossip-based protocol
• Gossip algorithms
• A state-based model of sensor protocols

Cites work

• A process algebra for timed systems
• Characterising Testing Preorders for Finite Probabilistic Processes
• Probabilistic mobile ambients
• Probabilistic mobility models for mobile and wireless networks
• Proving approximate implementations for probabilistic I/O automata
• Semantic analysis of gossip protocols for wireless sensor networks

Cited in

(11)

• A semantic theory of the Internet of Things
• A state-based model of sensor protocols
• A hierarchical formal method for performance evaluation of WSNs protocol
• Depletable channels: dynamics, behaviour, and efficiency in network design
• Semantic analysis of gossip protocols for wireless sensor networks
• Equational reasonings in wireless network gossip protocols
• Compositional weak metrics for group key update
• Evaluating complex MAC protocols for sensor networks with APMC
• On the scalability and message count of trickle-based broadcasting schemes
• An analytical model of information dissemination for a gossip-based protocol
• Formal probabilistic analysis of detection properties in wireless sensor networks

This page was built for publication: Semantic analysis of gossip protocols for wireless sensor networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090828)