RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model

Type de document :
Article dans une revue
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2016, 26 (2), pp.157 - 186. 〈10.7561/SACS.2016.2.157〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01798785
Contributeur : Allyx Fontaine <>
Soumis le : mercredi 23 mai 2018 - 22:12:32
Dernière modification le : mercredi 10 octobre 2018 - 10:09:33

Lien texte intégral

Identifiants

Citation

Allyx Fontaine, Akka Zemmari. RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2016, 26 (2), pp.157 - 186. 〈10.7561/SACS.2016.2.157〉. 〈hal-01798785〉

Partager

Métriques

Consultations de la notice

93