Work

Information-flow models for shared memory with an application to the powerPC architecture