Mathematizing C++ concurrency

By Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber. ACM-SIGACT Symposium on Principles of Programming Languages, 2011

411 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Hardware and Architecture

View Paper: https://www.semanticscholar.org/paper/e1aa60639ac1c05788d4eef6054d9a47d047de0e