DAMPAS

swMATH31000MaRDI QIDQ42714FDOQ42714

Author name not available (Why is that?)

Official website: https://visidia.labri.fr/html/home.html

Cited In (2)

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

This page was built for software: DAMPAS