1. Özalp Babaoğlu and Keith Marzullo . 1993. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms . ACM Press/Addison-Wesley Publishing Co. , USA. 55–96. isbn:0 2016 24273 Özalp Babaoğlu and Keith Marzullo. 1993. Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. ACM Press/Addison-Wesley Publishing Co., USA. 55–96. isbn:0201624273
2. On deciding synchronizability for asynchronously communicating systems
3. Benedikt Bollig , Cinzia Di Giusto , Alain Finkel, Laetitia Laversa, Étienne Lozes, and Amrita Suresh. 2021 . A Unifying Framework for Deciding Synchronizability (extended version). HAL. available at https://hal.archives-ouvertes.fr/hal-03278370/document Benedikt Bollig, Cinzia Di Giusto, Alain Finkel, Laetitia Laversa, Étienne Lozes, and Amrita Suresh. 2021. A Unifying Framework for Deciding Synchronizability (extended version). HAL. available at https://hal.archives-ouvertes.fr/hal-03278370/document
4. Benedikt Bollig and Paul Gastin . 2019. Non-Sequential Theory of Distributed Systems. CoRR, abs/1904.06942 ( 2019 ), 1–82. arxiv:1904.06942. arxiv:1904.06942 Benedikt Bollig and Paul Gastin. 2019. Non-Sequential Theory of Distributed Systems. CoRR, abs/1904.06942 (2019), 1–82. arxiv:1904.06942. arxiv:1904.06942