Simplifying proofs of linearisability using layers of abstraction (2013)

First Author: Dongol B.
Attributed to:  Verifying Concurrent Lock-free Algorithms funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.14279/tuj.eceasst.66.889.875

Publication URI: https://api.elsevier.com/content/abstract/scopus_id/84941171436

Type: Journal Article/Review

Volume: 66

Parent Publication: Electronic Communications of the EASST

ISSN: 18632122