Checking noninterference in Timed CSP A. W. RoscoeJian Huang Original Article 29 June 2012 Pages: 3 - 35
The Safety-Critical Java memory model formalised Ana CavalcantiAndy WellingsJim Woodcock Original Article 29 June 2012 Pages: 37 - 57
Security invariants in discrete transition systems Thai Son Hoang OriginalPaper 29 June 2012 Pages: 59 - 87
Semantic inheritance in unifying theories of programming Yifeng Chen Original Article 13 November 2007 Pages: 89 - 106
A unification of probabilistic choice within a design-based model of reversible computation Bill StoddartFrank Zeyda Original Article 13 November 2007 Pages: 107 - 131
Unifying theories in ProofPower-Z Marcel OliveiraAna CavalcantiJim Woodcock Original Article 03 August 2007 Pages: 133 - 158