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...
| Principais autores: | , |
|---|---|
| Formato: | Journal article |
| Publicado em: |
Elsevier
2019
|