Formal verification of timed properties of randomized distributed algorithms
From MaRDI portal
Cited in
(24)- SOS specifications for uniformly continuous operators
- Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
- Probabilistic divide \& congruence: branching bisimilarity
- Probabilistic -calculus and event structures
- Certified impossibility results and analyses in Coq of some randomised distributed algorithms
- Trace and testing metrics on nondeterministic probabilistic processes
- Termination in convex sets of distributions
- Deciding probabilistic bisimilarity distance one for probabilistic automata
- A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves
- Compositional weak metrics for group key update
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Efficient Coalgebraic Partition Refinement
- Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
- Randomized dining philosophers without fairness assumption
- Distribution bisimilarity via the power of convex algebras
- Efficient and modular coalgebraic partition refinement
- Quantitative Kleene coalgebras
- Computing probabilistic bisimilarity distances for probabilistic automata
- Computing probabilistic bisimilarity distances for probabilistic automata
- Causal Unfoldings
- Testing probabilistic automata
- A framework to measure the robustness of programs in the unpredictable environment
- Compositional verification of randomized distributed algorithms
- Using probabilistic Kleene algebra pKA for protocol verification
This page was built for publication: Formal verification of timed properties of randomized distributed algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5361452)
