Local rely-guarantee reasoning (Q5261529)
From MaRDI portal
scientific article; zbMATH DE number 6455623
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Local rely-guarantee reasoning |
scientific article; zbMATH DE number 6455623 |
Statements
Local rely-guarantee reasoning (English)
0 references
3 July 2015
0 references
concurrency
0 references
information hiding
0 references
local reasoning
0 references
rely-guarantee reasoning
0 references
separation logic
0 references
