Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.

Allyx Fontaine, Akka Zemmari

Browse the full ICTAC paper archive.