Pages that link to "Item:Q3179391"
From MaRDI portal
The following pages link to Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391):
Displaying 4 items.
- Proofs of randomized algorithms in Coq (Q923886) (← links)
- An implementation-theoretic approach to non-cooperative foundations (Q1294004) (← links)
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391) (← links)
- Proofs of Randomized Algorithms in Coq (Q3618814) (← links)