Lamport, Leslie Time, clocks, and the ordering of events in a distributed system. (English) Zbl 1448.68134 Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 179-196 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{L. Lamport}, ACM Books 29, 179--196 (2019; Zbl 1448.68134) Full Text: DOI
Antoniadis, Karolos; Guerraoui, Rachid The notions of time and global state in a distributed system. (English) Zbl 1455.68011 Malkhi, Dahlia (ed.), Concurrency. The works of Leslie Lamport. New York, NY: Association for Computing Machinery (ACM). ACM Books 29, 47-65 (2019). MSC: 68-03 68M14 68Q85 68W15 PDF BibTeX XML Cite \textit{K. Antoniadis} and \textit{R. Guerraoui}, ACM Books 29, 47--65 (2019; Zbl 1455.68011) Full Text: DOI
Belardinelli, F.; Lomuscio, A. Quantified epistemic logics for reasoning about knowledge in multi-agent systems. (English) Zbl 1191.68646 Artif. Intell. 173, No. 9-10, 982-1013 (2009). MSC: 68T27 03B42 68T30 68T42 PDF BibTeX XML Cite \textit{F. Belardinelli} and \textit{A. Lomuscio}, Artif. Intell. 173, No. 9--10, 982--1013 (2009; Zbl 1191.68646) Full Text: DOI
Bein, Doina; Datta, Ajoy K.; Larmore, Lawrence L. Self-stabilizing space optimal synchronization algorithms on trees. (English) Zbl 1222.68041 Flocchini, Paola (ed.) et al., Structural information and communication complexity. 13th international colloquium, SIROCCO 2006, Chester, UK, July 2–5, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35474-1/pbk). Lecture Notes in Computer Science 4056, 334-348 (2006). MSC: 68M14 68P05 68W15 PDF BibTeX XML Cite \textit{D. Bein} et al., Lect. Notes Comput. Sci. 4056, 334--348 (2006; Zbl 1222.68041) Full Text: DOI
Wang, Farn A temporal logic for real-time partial ordering with named transactions. (English) Zbl 0912.68195 Theor. Comput. Sci. 181, No. 1, 195-225 (1997). MSC: 68T27 PDF BibTeX XML Cite \textit{F. Wang}, Theor. Comput. Sci. 181, No. 1, 195--225 (1997; Zbl 0912.68195) Full Text: DOI
Charron-Bost, Bernadette Concerning the size of logical clocks in distributed systems. (English) Zbl 0735.68003 Inf. Process. Lett. 39, No. 1, 11-16 (1991). MSC: 68M10 06A06 PDF BibTeX XML Cite \textit{B. Charron-Bost}, Inf. Process. Lett. 39, No. 1, 11--16 (1991; Zbl 0735.68003) Full Text: DOI