RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
Allyx Fontaine
(1, 2)
,
Akka Zemmari
(3)
Allyx Fontaine
- Fonction : Auteur
- PersonId : 13898
- IdHAL : allyx
- ORCID : 0009-0006-8926-5153
- IdRef : 183380533
Format du dépôt | Notice |
---|---|
Type de dépôt | Article dans une revue |
Titre |
en
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
|
Auteur(s) |
Allyx Fontaine
1, 2
, Akka Zemmari
3
1
UG -
Université de Guyane
( 424370 )
- Campus de Troubiran - BP 20792- 97337 Cayenne Cedex - Guyane
- Guyane française
2
UMR 228 Espace-Dev, Espace pour le développement
( 196623 )
- IRD - Maison de la Télédétection - 500 rue Jean-François Breton - 34093 Montpellier
- France
3
LaBRI -
Laboratoire Bordelais de Recherche en Informatique
( 3102 )
- Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex
- France
|
Langue du document |
Anglais
|
Nom de la revue |
|
Vulgarisation |
Non
|
Comité de lecture |
Oui
|
Audience |
Internationale
|
Date de publication |
2016
|
Volume |
26
|
Numéro |
2
|
Page/Identifiant |
157 - 186
|
Domaine(s) |
|
DOI | 10.7561/SACS.2016.2.157 |
Loading...