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