A state-based model of sensor protocols
From MaRDI portal
Recommendations
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
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)