A state-based model of sensor protocols

DOI10.1016/J.TCS.2012.08.013MaRDI QIDQ1758154zbMATH OpenOpenAlexFDO

Authors 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) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Recommendations

• Distributed Computing - IWDC 2003
• SOFSEM 2006: Theory and Practice of Computer Science
• Contention-Free MAC Protocols for Wireless Sensor Networks
• Population protocols and related models
• Semantic analysis of gossip protocols for wireless sensor networks

Cites work

• scientific article; zbMATH DE number 2061535 (Why is no real title available?)
• A state-based model of sensor protocols
• Algorithmic Aspects of Wireless Sensor Networks
• Distributed Computing - IWDC 2003
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Mining specifications
• Principles of Distributed Systems
• Self-stabilization
• Synthesis of interface specifications for Java classes

Cited in

(12)

• Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
• Contention-Free MAC Protocols for Wireless Sensor Networks
• Formal analysis of security protocols for wireless sensor networks
• Distributed Computing - IWDC 2003
• A state-based model of sensor protocols
• Towards a dynamical model for wireless sensor networks
• Distributed Computing – IWDC 2005
• State space reduction for sensor networks using two-level partial order reduction
• A stochastic analysis of greedy routing in a spatially dependent sensor network
• Semantic analysis of gossip protocols for wireless sensor networks
• scientific article; zbMATH DE number 1982179 (Why is no real title available?)
• Evaluating complex MAC protocols for sensor networks with APMC

Describes a project that uses

Uses Software

• TAG
• PRISM

This page was built for publication: A state-based model of sensor protocols

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