@inproceedings{llfatr,
author={Patrignani, Marco and  Clarke, Dave},
title={{Fully Abstract Trace Semantics of Low-level Isolation Mechanisms}},
year={2014},
pages={1562-1569},
series = {SAC '14},
booktitle={{Proceedings of the 29th Annual ACM Symposium on Applied Computing}},
location={Gyeongju, Korea},
publisher={ACM}
}