Operational Aspects of C/C++ ConcurrencyThe draft: [arXiv].The implementation: github.com/anlun/OperationalSemanticsC11.