Conference
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.
Authors
Tofan B; Schellhorn G; Reif W
Editors
Albert E; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
8739
Pagination
pp. 357-372
Publisher
Springer
Publication Date
2014
ISBN-13
978-3-319-10180-4
Conference proceedings
IFM