A unified theory of shared memory consistency
From MaRDI portal
Publication:3069911
DOI10.1145/1017460.1017464zbMath1204.68136DBLPjournals/jacm/SteinkeN04arXivcs/0208027OpenAlexW2025301734WikidataQ55892361 ScholiaQ55892361MaRDI QIDQ3069911
Gary J. Nutt, Robert Christian Steinke
Publication date: 1 February 2011
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/cs/0208027
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (5)
Abstraction for concurrent objects ⋮ Parallelized sequential composition and hardware weak memory models ⋮ Implementing sequentially consistent programs on processor consistent platforms ⋮ Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations ⋮ Pervasive Theory of Memory
This page was built for publication: A unified theory of shared memory consistency
