Brookes Is Relaxed, Almost!
From MaRDI portal
Publication:2892770
DOI10.1007/978-3-642-28729-9_12zbMath1352.68139OpenAlexW75349309MaRDI QIDQ2892770
Gustavo Petri, Radha Jagadeesan, James Riely
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_12
Related Items
A denotational semantics for SPARC TSO ⋮ Parallelized sequential composition and hardware weak memory models ⋮ Operational semantics with semicommutations ⋮ Unnamed Item