Publications@ FII
A Fontaine, A Zemmari - publications.info.uaic.ro
Distributed algorithms have received considerable attention and were studied intensively in
the past few decades. Under some hypotheses on the distributed system, there is no …
the past few decades. Under some hypotheses on the distributed system, there is no …
Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms
A Fontaine, A Zemmari - Theoretical Aspects of Computing–ICTAC 2016 …, 2016 - Springer
Randomised algorithms are generally simple to formulate. However, their analysis can
become very complex, especially in the field of distributed computing. In this paper, we …
become very complex, especially in the field of distributed computing. In this paper, we …
Scientific Annals
A Fontaine, A Zemmari - info.uaic.ro
Distributed algorithms have received considerable attention and were studied intensively in
the past few decades. Under some hypotheses on the distributed system, there is no …
the past few decades. Under some hypotheses on the distributed system, there is no …
[PDF][PDF] RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model.
A Fontaine, A Zemmari - Scientific Annals of Computer Science, 2016 - info.uaic.ro
Distributed algorithms have received considerable attention and were studied intensively in
the past few decades. Under some hypotheses on the distributed system, there is no …
the past few decades. Under some hypotheses on the distributed system, there is no …
Analyses et preuves formelles d'algorithmes distribués probabilistes
A Fontaine - 2014 - theses.hal.science
L'intérêt porté aux algorithmes probabilistes est, entre autres, dû à leur simplicité.
Cependant, leur analyse peut devenir très complexeet ce particulièrement dans le domaine …
Cependant, leur analyse peut devenir très complexeet ce particulièrement dans le domaine …