On verifying causal consistency.

Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza

Browse the full POPL paper archive.