Quantitative program logic and expected time bounds in probabilistic distributed algorithms
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
3
Link opens in a new tab
Citations
(Scopus)