Refinement algebra for probabilistic programs Larissa MeinickeKim Solin Original Article 17 April 2009 Pages: 3 - 31
Atomic actions, and their refinements to isolated protocols Richard BanachGerhard Schellhorn Original Article 12 February 2009 Pages: 33 - 61
Invariant-based reasoning about parameterized security protocols Arjan J. Mooij Original Article Open access 04 February 2009 Pages: 63 - 81