Liveness in broadcast networks
From MaRDI portal
Publication:2676223
DOI10.1007/s00607-021-00986-yzbMath1506.68008arXiv1904.00833OpenAlexW2974612935MaRDI QIDQ2676223
Roland Meyer, Prakash Saivasan, Peter Chini
Publication date: 27 September 2022
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.00833
Analysis of algorithms and problem complexity (68Q25) Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Parameterized verification of synchronization in constrained reconfigurable broadcast networks
- On Hierarchical Communication Topologies in the $$\pi $$ -calculus
- Parameterised Pushdown Systems with Non-Atomic Writes
- Keeping a Crowd Safe: On the Complexity of Parameterized Verification (Invited Talk).
- On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks
- Model Checking Parameterized Systems
- Parameterized Verification of Asynchronous Shared-Memory Systems
- Query-Based Model Checking of Ad Hoc Network Protocols
- Bounds on Mobility
- Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
- Forward Analysis of Depth-Bounded Processes
- Parameterized Verification of Ad Hoc Networks
- Decidability of Parameterized Verification
- Reachability in Networks of Register Protocols under Stochastic Schedulers
- Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems
- Distributed local strategies in broadcast networks
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
- Playing with Probabilities in Reconfigurable Broadcast Networks
- All You Need Is Compassion
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Complexity of Liveness in Parameterized Systems
- Model checking parameterized asynchronous shared-memory systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Fine-grained complexity of safety verification
- Fine-grained complexity of safety verification
- Automata theory and its applications
This page was built for publication: Liveness in broadcast networks
