No label defined (Q5137877)
From MaRDI portal
scientific article; zbMATH DE number 7281350
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7281350 |
Statements
3 December 2020
0 references
sequential consistency
0 references
weak memory models
0 references
cache coherency
0 references
parallel program verification
0 references
