Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings

Vasilis Gavrielatos, Vijay Nagarajan, Panagiota Fatourou. Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings. In PaPoC@EuroSys 2021, 8th Workshop on Principles and Practice of Consistency for Distributed Data, Online Event, United Kingdom, April 26, 2021. ACM, 2021. [doi]

Abstract

Abstract is missing.