Information-flow models for shared memory with an application to the PowerPC architectureAllon AdirHagit Attiyaet al.2003IEEE TPDS