Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2011
Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark (2011) Mathematizing C++ Concurrency. In: Sagiv, Mooly, ed. POPL '11 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, New York, N.Y. pp. 55-66. ISBN 978-1-4503-0490-0. (doi:https://doi.org/10.1145/1926385.1926394) (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) |