On the definition of sequential consistency

DOI10.1016/j.ipl.2005.09.002zbMath1184.68107OpenAlexW2038235759MaRDI QIDQ1044736

Ali Sezgin, Ganesh Gopalakrishnan

Publication date: 18 December 2009

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

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

zbMATH Keywords

distributed systemsconcurrencyshared memorysequential consistencyformalization

Mathematics Subject Classification ID

Distributed systems (68M14)

Cites Work

• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Unnamed Item

This page was built for publication: On the definition of sequential consistency