Linearizability with Ownership Transfer

DOI10.2168/LMCS-9(3:12)2013zbMath1274.68072MaRDI QIDQ5891172

Alexey Gotsman, Hongseok Yang

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

semanticslinearizabilityconcurrencydata abstractionownership transfer

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Line-up

This page was built for publication: Linearizability with Ownership Transfer