Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. Fontaine, A. & Zemmari, A. In Sampaio, A. & Wang, F., editors, ICTAC, volume 9965, of Lecture Notes in Computer Science, pages 69-81, 2016.
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. [link]Link  Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms. [link]Paper  bibtex   
@inproceedings{conf/ictac/FontaineZ16,
  author = {Fontaine, Allyx and Zemmari, Akka},
  booktitle = {ICTAC},
  crossref = {conf/ictac/2016},
  editor = {Sampaio, Augusto and Wang, Farn},
  ee = {http://dx.doi.org/10.1007/978-3-319-46750-4_5},
  interhash = {e5dded8bf8c6a0025d5de4e2f9863042},
  intrahash = {a53190b52bd477cd64f9790f22badfd1},
  isbn = {978-3-319-46749-8},
  pages = {69-81},
  series = {Lecture Notes in Computer Science},
  title = {Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms.},
  url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#FontaineZ16},
  volume = 9965,
  year = 2016
}

Downloads: 0