Relating computer systems to sequence diagrams: the impact of underspecification and inherent nondeterminism Ragnhild Kobro RundeAtle RefsdalKetil Stølen Original Article 14 August 2011 Pages: 159 - 187
The data type of spatial objects Kenneth JohnsonJohn V. Tucker Original Article 19 July 2011 Pages: 189 - 218
On the limits of refinement-testing for model-checking CSP Toby Murray Original Article 29 July 2011 Pages: 219 - 256
An inductive characterization of matching in binding bigraphs Troels C. DamgaardArne J. GlenstrupRobin Milner Original Article 15 July 2011 Pages: 257 - 288
Model-checking timed automata with deadlines with Uppaal Rodolfo Gómez Original Article 28 June 2011 Pages: 289 - 318
Improved algorithms for optimal length resolution refutation in difference constraint systems K. SubramaniMatthew WilliamsonXiaofeng Gu Original Article 07 July 2011 Pages: 319 - 341