%0 Journal Article
%T On verifying causal consistency
%A Bouajjani, Ahmed
%A Enea, Constantin
%A Guerraoui, Rachid
%A Hamza, Jad
%J Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems
%V 52
%N 1
%P 626-638
%@ 0362-1340
%D 2017-01-01
%I ACM
%~ DeepDyve