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

zbMATH Keywords

self-stabilizationsensor networkformal modelprotocol specificationprotocol verification and analysisstate-based model

Mathematics Subject Classification ID

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)

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative ⋮ A state-based model of sensor protocols

Uses Software

• PRISM
• TAG

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