Mathematizing C++ concurrency (Q5408531)
From MaRDI portal
scientific article; zbMATH DE number 6282593
Language | Label | Description | Also known as |
---|---|---|---|
English | Mathematizing C++ concurrency |
scientific article; zbMATH DE number 6282593 |
Statements
Mathematizing C++ concurrency (English)
0 references
10 April 2014
0 references
relaxed memory models
0 references
semantics
0 references