Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

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)

This list was generated on Sun Sep 22 23:17:58 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0