Pages that link to "Item:Q2915172"
From MaRDI portal
The following pages link to Formal Verification of Distributed Algorithms (Q2915172):
Displayed 5 items.
- Certification of an exact worst-case self-stabilization time (Q2680867) (← links)
- A Framework for Certified Self-Stabilization (Q2827460) (← links)
- Mechanical Verification of a Constructive Proof for FLP (Q2829253) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Squeezing streams and composition of self-stabilizing algorithms (Q6190178) (← links)