A denotational semantics for Handel-C Andrew Butterfield Original Article 16 January 2010 Pages: 153 - 170
Symbolic decision procedure for termination of linear programs Bican XiaLu YangZhihai Zhang Original Article 17 December 2009 Pages: 171 - 190
A formal approach for the construction and verification of railway control systems Anne E. HaxthausenJan PeleskaSebastian Kinder Original Article 17 December 2009 Pages: 191 - 219
VDM semantics of programming languages: combinators and monads Peter D. Mosses Original Article 16 January 2010 Pages: 221 - 238