Browse by Person (creator, editor, contributor, etc.)
Number of items: 1.
Conference or workshop item
Batty, Mark and Owens, Scott and Sarkar, Susmit and Sewell, Peter and Weber, Tjark
Mathematizing C++ Concurrency.
In: POPL '11: 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 26th - 28th 2011, Austin, USA.
The full text of this publication is not available from this repository.