Observable clock synchronization extended abstract

DOI10.1145/197917.198110zbMath1374.68068OpenAlexW2063909230MaRDI QIDQ5361419

Danny Dolev, Ray Strong, K. Ruediger Reischuk

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.198110

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Related Items (1)

On distributed algorithms in a broadcast domain

This page was built for publication: Observable clock synchronization extended abstract