Correctness and Consistency of Event-Based Systems

Opher Etzion. Correctness and Consistency of Event-Based Systems. In Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, DEBS 2019, Darmstadt, Germany, June 24-28, 2019. pages 197-198, ACM, 2019. [doi]

Abstract

Abstract is missing.