Formalizing and checking thread refinement for data-race-free execution models (Q2272925)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalizing and checking thread refinement for data-race-free execution models |
scientific article |
Statements
Formalizing and checking thread refinement for data-race-free execution models (English)
0 references
17 September 2019
0 references
