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

From MaRDI portal
Publication:4621204

DOI10.7561/SACS.2016.2.157zbMath1424.68147OpenAlexW2727697810MaRDI QIDQ4621204

Akka Zemmari, Allyx Fontaine

Publication date: 8 February 2019

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.7561/sacs.2016.2.157


zbMATH Keywords

randomized algorithmdistributed algorithmproof assistantformal proof


Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)

RDA


Uses Software



This page was built for publication: RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4621204&oldid=18797461"
Powered by MediaWiki