Relationships between memory models

DOI10.1016/j.ipl.2004.01.007zbMath1178.68117OpenAlexW2166005724MaRDI QIDQ2390217

Josep Bernabéu, Vicent Cholvi

Publication date: 21 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2004.01.007

zbMATH Keywords

distributed systemsformal methodsconcurrencymemory modelsconsistency models

Mathematics Subject Classification ID

Computer system organization (68M99) Distributed systems (68M14)

Related Items (1)

Implementing sequentially consistent programs on processor consistent platforms

Cites Work

• Unnamed Item
• On interprocess communication. II: Algorithms
• Axioms for memory access in asynchronous hardware systems
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Time, clocks, and the ordering of events in a distributed system
• Causal memory: definitions, implementation, and programming

This page was built for publication: Relationships between memory models