Optimal Stateless Model Checking for Causal Consistency.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, S. Krishna, Ashutosh Gupta, Omkar Tuppe

Browse the full TACAS paper archive.