Cache Coherency in SCI: Specification and a Sketch of Correctness Amy FeltyFrank Stomp Original Paper 21 April 2005 Pages: 475 - 497
Sharp Retrenchment, Modulated Refinement and Simulation R. BanachM. Poppleton Original Paper 21 April 2005 Pages: 498 - 540
Overtaking in Asynchronous Periodic Systems D. H. PittM. W. Shields Original Paper 21 April 2005 Pages: 567 - 590