Abstract
Causal consistency is a weakening of Lamport's canonical model of sequential consistency, that is both well-motivated by applications and theoretically interesting. In this expert article, the author provides a solid grounding before covering the four main approaches to verification: unbounded verification, bounded model checking, program logics and robustness verification.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have