Linearizability With Ownership Transfer
Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-9(3:12)2013
Full Text
Open PDFAbstract
Available in full text
Date
September 9, 2013
Authors
Publisher
Logical Methods in Computer Science e.V.
Available in full text
September 9, 2013
Logical Methods in Computer Science e.V.