A separation logic for refining concurrent objects (Q5408547)
From MaRDI portal
scientific article; zbMATH DE number 6282608
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A separation logic for refining concurrent objects |
scientific article; zbMATH DE number 6282608 |
Statements
A separation logic for refining concurrent objects (English)
0 references
10 April 2014
0 references
atomicity
0 references
concurrent programming
0 references
formal verification
0 references
refinement
0 references
rely-guarantee
0 references
shared-memory concurrency
0 references
