Pages that link to "Item:Q5361452"
From MaRDI portal
The following pages link to Formal verification of timed properties of randomized distributed algorithms (Q5361452):
Displaying 22 items.
- Quantitative Kleene coalgebras (Q532394) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings (Q1954232) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Probabilistic π-Calculus and Event Structures (Q2870289) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- (Q3384913) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q5009421) (← links)
- (Q5009440) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- (Q5111636) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)
- Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study (Q5137903) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
- (Q5155671) (← links)
- (Q5214815) (← links)
- (Q5856412) (← links)
- (Q5875370) (← links)
- Causal Unfoldings (Q5875372) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
