Sequential Consistency Revisit: The Sufficient Condition and Method to Reason the Consistency Model of a Multiprocessor-on-a-Chip Architecture.
Yuan ZhangWeirong ZhuFei ChenZiang HuGuang R. GaoPublished in: Parallel and Distributed Computing and Networks (2005)