Verification of the release-acquire semantics

DOI10.1007/978-3-032-11176-0_8MaRDI QIDQ6841015zbMATH OpenFDO

Authors Parosh A. Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn

Publication date 20 March 2026

Full work available at URL https://doi.org/10.1007/978-3-032-11176-0_8

zbMATH Keywords

register machinesrelease-acquire semanticsverificationweak memory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Causal memory: definitions, implementation, and programming
• Constraint-based verification of parameterized cache coherence protocols
• Mathematizing C++ concurrency
• Model-checking of correctness conditions for concurrent objects
• On parallel snapshot isolation and release/acquire consistency
• On verifying causal consistency
• Taming release-acquire consistency
• Testing Shared Memories
• Tools and Algorithms for the Construction and Analysis of Systems
• Well-structured transition systems everywhere!

This page was built for publication: Verification of the release-acquire semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6841015)