Operational Aspects of C/C++ Concurrency

The draft: [arXiv].

The implementation: github.com/anlun/OperationalSemanticsC11.

Back