Information-Flow Models for Shared Memory with an Application to the PowerPC Architecture. - Adir, Allon; Attiya, Hagi; Shurek, Gil (IEEE Transactions on Parallel & Distributed Systems, 2003)