RDA

swMATH30999MaRDI QIDQ42713FDOQ42713

Author name not available (Why is that?)

Described by source

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

Cited In (1)

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

This page was built for software: RDA