A state-based model of sensor protocols
DOI10.1016/j.tcs.2012.08.013zbMath1253.68054OpenAlexW2013737236MaRDI QIDQ1758154
Mohamed G. Gouda, Young-Ri Choi
Publication date: 8 November 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.08.013
self-stabilizationsensor networkformal modelprotocol specificationprotocol verification and analysisstate-based model
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Network protocols (68M12)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A state-based model of sensor protocols
- Mining specifications
- Distributed Computing - IWDC 2003
- Synthesis of interface specifications for Java classes
- Algorithmic Aspects of Wireless Sensor Networks
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Principles of Distributed Systems
This page was built for publication: A state-based model of sensor protocols