Mathematizing C++ concurrency.

Mark Batty Scott Owens Susmit Sarkar Peter Sewell Tjark Weber

Published in: POPL (2011)

Keyphrases

database systems
concurrency control
data flow
concurrent execution
machine learning
artificial intelligence
search engine
digital libraries
software systems
object oriented languages