Peter Landin: a computer scientist who inspired a generation, 5th June 1930 - 3rd June 2009 Richard Bornat Obituary 13 August 2009 Pages: 393 - 395
A formalism to describe design patterns based on role concepts Soon-Kyeong KimDavid Carrington Original Article 01 October 2008 Pages: 397 - 420
A CSP model with flexible parallel termination semantics Paul HowellsMark d’Inverno Original Article 06 December 2008 Pages: 421 - 449
A formal framework for modeling and validating Simulink diagrams Chunqing ChenJin Song DongJun Sun Original Article 18 March 2009 Pages: 451 - 483
A framework for Satisfiability Modulo Theories Daniel KroeningOfer Strichman Original Article 21 February 2009 Pages: 485 - 494
A rigorous methodology for specification and verification of business processes Cristian MasalagiuWei-Ngan ChinVasile Alaiba Original Article 07 March 2009 Pages: 495 - 510