Analyzing linearizability violations in the presence of read-modify-write operations

DOI10.1016/J.IPL.2018.06.004zbMath1460.68016OpenAlexW2809491056MaRDI QIDQ1653043

Wojciech Golab, Hua Fan

Publication date: 17 July 2018

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10012/13443

zbMATH Keywords

verificationconsistencydistributed systemslinearizability

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Distributed systems (68M14)

Cites Work

• Axioms for memory access in asynchronous hardware systems
• Testing Shared Memories

This page was built for publication: Analyzing linearizability violations in the presence of read-modify-write operations