Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 1.
Conference or workshop item
| Owens, Scott (2010) Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. In: d'Hondt, Theo, ed. ECOOP 2010 – Object-Oriented Programming. Lecture Notes in Computer Science, 6183. Springer pp. 478-503. ISBN 978-3-642-14106-5. (doi:https://doi.org/10.1007/978-3-642-14107-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
