Proving probabilistic correctness statements
From MaRDI portal
Publication:5348857
DOI10.1145/135419.135466zbMath1370.68320arXivmath/9409219MaRDI QIDQ5348857
Publication date: 21 August 2017
Published in: Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9409219
Related Items
Using probabilistic Kleene algebra pKA for protocol verification, Layered reasoning for randomized distributed algorithms