TY  - RPRT
TI  - On Verifying Causal Consistency
AU  - Ahmed Bouajjani
AU  - Constantin Enea
AU  - Rachid Guerraoui
AU  - Jad Hamza
PY  - 2016
UR  - https://arxiv.org/abs/1611.00580
ID  - 1611.00580
ER  -