Higher-order linearisability
Linearisability is a central notion for verifying concurrent libraries: a library is proven correct if its operational history can be rearranged into a sequential one that satisfies a given specification. Until now, linearisability has been examined for libraries in which method arguments and method...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Elsevier
2019
|