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

Journal article

Open access

Peer reviewed

Allyx Fontaine and Akka Zemmari

Scientific Annals of Computer Science, Vol.26(2), pp.157 - 186

2016

Files and links (2)

url

Find in HALView

url

https://doi.org/10.7561/SACS.2016.2.157View

Published (Version of record) Open

1 Record Views

Title: RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
Creators - without role: Allyx Fontaine - UMR Espace-Dev
Akka Zemmari - Laboratoire Bordelais de Recherche en Informatique
Publication Details: Scientific Annals of Computer Science, Vol.26(2), pp.157 - 186
Identifiers: 9936922709311
Academic Unit: Observation Spatiale, Modèles et Science Impliquée - ESPACE DEV
Language: English
Resource Type: Journal article
Local Fields: hal-01798785