Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (Q2418046)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example |
scientific article |
Statements
Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example (English)
0 references
3 June 2019
0 references
concurrency
0 references
compositional methods
0 references
rely-guarantee
0 references
auxiliary/ghost variable
0 references
