The following pages link to Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms (Q3179391):
Displayed 1 item.