On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams Jennifer TenzerPerdita Stevens ORIGINAL ARTICLE 26 August 2006 Pages: 397 - 420
An approximation algorithm for state minimization in 2-MDFAs K. SubramaniC. Tauras Original Article 08 August 2006 Pages: 421 - 431
Analysis of a biphase mark protocol with Uppaal and PVS F. W. VaandragerA. L. de Groot Original Article 08 September 2006 Pages: 433 - 458
How to stop time stopping Howard BowmanRodolfo Gómez Original article 28 September 2006 Pages: 459 - 493
A Calculus and logic of resources and processes David PymChris Tofts Original Article 28 October 2006 Pages: 495 - 517