Article Dans Une Revue
Scientific Annals of Computer Science
Année : 2016
Allyx Fontaine : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01798785
Soumis le : mercredi 23 mai 2018-22:12:32
Dernière modification le : mercredi 15 novembre 2023-10:52:16
Citer
Allyx Fontaine, Akka Zemmari. RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. Scientific Annals of Computer Science, 2016, 26 (2), pp.157 - 186. ⟨10.7561/SACS.2016.2.157⟩. ⟨hal-01798785⟩
Collections
122
Consultations
0
Téléchargements