Proving linearizability using forward simulations

DOI10.1007/978-3-319-63390-9_28zbMath1494.68067arXiv1702.02705OpenAlexW2592567368MaRDI QIDQ2164258

Suha Orhun Mutluergil, Constantin Enea, Ahmed Bouajjani, Michael Emmi

Publication date: 12 August 2022

Full work available at URL: https://arxiv.org/abs/1702.02705

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Data structures (68P05)

Related Items (3)

Verifying Visibility-Based Weak Consistency ⋮ Making Linearizability Compositional for Partially Ordered Executions ⋮ Unnamed Item

This page was built for publication: Proving linearizability using forward simulations