RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model
-
Published:2016
Issue:2
Volume:26
Page:157-186
-
ISSN:2248-2695
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Author:
Fontaine Allyx,A. Zemmari Akka
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science