Knowledge, timed precedence and clocks (preliminary report)

DOI10.1145/197917.198113zbMath1374.68074OpenAlexW1973936528MaRDI QIDQ5361421

Ben Bloom, Yoram Moses

Publication date: 29 September 2017

Published in: Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/197917.198113

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (2)

Beyond Lamport's Happened-before ⋮ Bounded model checking for knowledge and real time

This page was built for publication: Knowledge, timed precedence and clocks (preliminary report)