An Observational Approach to Defining Linearizability on Weak Memory Models

DOI10.1007/978-3-319-60225-7_8zbMath1489.68037OpenAlexW2618844683MaRDI QIDQ5082193

Graeme Smith, John Derrick

Publication date: 15 June 2022

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/118706/1/rootv3.pdf

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Distributed systems (68M14) Distributed algorithms (68W15)

This page was built for publication: An Observational Approach to Defining Linearizability on Weak Memory Models