Login / Signup

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

Allyx FontaineAkka Zemmari
Published in: ICTAC (2016)
Keyphrases