Reasoning Algebraically About Refinement on TSO Architectures (Q2938158)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning Algebraically About Refinement on TSO Architectures |
scientific article |
Statements
Reasoning Algebraically About Refinement on TSO Architectures (English)
0 references
13 January 2015
0 references
