Multi-scale verification of distributed synchronisation
From MaRDI portal
Publication:2225471
DOI10.1007/s10703-020-00347-zzbMath1506.68009arXiv1809.10655OpenAlexW3042716503MaRDI QIDQ2225471
Publication date: 8 February 2021
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1809.10655
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)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Analysis of a clock synchronization protocol for wireless sensor networks
- Probabilistic clock synchronization
- Detecting synchronisation of biological oscillators by model checking
- Computation with finite stochastic chemical reaction networks
- A theory of timed automata
- A logic for reasoning about time and reliability
- Constraint-based verification of parameterized cache coherence protocols
- Computation in networks of passively mobile finite-state sensors
- Programming Discrete Distributions with Chemical Reaction Networks
- Chemical Reaction Network Designs for Asynchronous Logic Circuits
- Stochastic Model Checking
- Synchronization of Pulse-Coupled Biological Oscillators
- Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
- Symbolic Counter Abstraction for Concurrent Software
- Energy-Efficient Pulse-Coupled Synchronization Strategy Design for Wireless Sensor Networks Through Reduced Idle Listening
- Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model Checking
- Remarks on the Cellular Automaton Global Synchronisation Problem