Back to Results
First PageMeta Content
Computing / Computer programming / Concurrent computing / Concurrency control / Parallel computing / Thread / Linearizability / C++11 / POSIX Threads / Lock / Concurrency / Go


C/C++ Concurrency: Formalization and Model Finding Mark Batty Jasmin Blanchette Susmit Sarkar Peter Sewell
Add to Reading List

Document Date: 2013-09-25 05:49:39


Open Document

File Size: 653,33 KB

Share Result on Facebook
UPDATE