Browse by Journal
Up a level |
Jump to: B
Number of items: 1.
B
Batty, Mark, Owens, Scott, Sarkar, Susmit, Sewell, Peter, 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. . pp. 55-66. ACM Press, New York, N.Y. ISBN 978-1-4503-0490-0. (doi: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) |