RDA

From MaRDI portal

Software:42713

Jump to:navigation, search

swMATH30999MaRDI QIDQ42713

No author found.

Described by source

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

Related Items (1)

Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed Algorithms

This page was built for software: RDA

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:42713&oldid=29510422"