TY  - RPRT
TI  - On Composition and Implementation of Sequential Consistency (Extended Version)
AU  - Matthieu Perrin
AU  - Matoula Petrolia
AU  - Achour Mostefaoui
AU  - Claude Jard
PY  - 2016
UR  - https://arxiv.org/abs/1607.05596
ID  - 1607.05596
ER  -