Simulation Refinement for Concurrency Verification (Q5403461)
From MaRDI portal
scientific article; zbMATH DE number 6274292
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simulation Refinement for Concurrency Verification |
scientific article; zbMATH DE number 6274292 |
Statements
Simulation Refinement for Concurrency Verification (English)
0 references
26 March 2014
0 references
refinement
0 references
simulation
0 references
atomicity
0 references
verification
0 references
semantic completeness
0 references
