Gurvan Cabon, David Cachera, David Pichardie. An Extended Buffered Memory Model With Full Reorderings. In Vladimir Klebanov, editor, Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016. pages 5, ACM, 2016. [doi]
@inproceedings{CabonCP16,
title = {An Extended Buffered Memory Model With Full Reorderings},
author = {Gurvan Cabon and David Cachera and David Pichardie},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2955816},
researchr = {https://researchr.org/publication/CabonCP16},
cites = {0},
citedby = {0},
pages = {5},
booktitle = {Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, FTfJP@ECOOP 2016, Rome, Italy, July 17-22, 2016},
editor = {Vladimir Klebanov},
publisher = {ACM},
isbn = {978-1-4503-4439-5},
}