RDA

swMATH30999MaRDI QIDQ42713FDOQ42713

Author name not available (Why is that?)

Official website: http://www.allyxfontaine.com/rda

Described by source

• RDA: a Coq library to reason about randomised distributed algorithms in the message passing model

Cited In (2)

• DAMPAS
• Certified impossibility results and analyses in Coq of some randomised distributed algorithms

This page was built for software: RDA