Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (Q3000633)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models |
scientific article |
Statements
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (English)
0 references
19 May 2011
0 references