Sound and complete monitoring of sequential consistency for relaxed memory models (Q3000633)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Sound and complete monitoring of sequential consistency for relaxed memory models |
scientific article; zbMATH DE number 5897392
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sound and complete monitoring of sequential consistency for relaxed memory models |
scientific article; zbMATH DE number 5897392 |
Statements
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (English)
0 references
19 May 2011
0 references
0.8074196577072144
0 references
0.7966538071632385
0 references
0.7930302023887634
0 references
0.7906783819198608
0 references
0.7864534258842468
0 references
