Bisimulations in calculi modelling membranes Roberto BarbutiAndrea Maggiolo-SchettiniAngelo Troina Original Article 11 March 2008 Pages: 351 - 377
Property-directed incremental invariant generation Aaron R. BradleyZohar Manna Original Article 29 April 2008 Pages: 379 - 405
Reachability analysis of fragments of mobile ambients in AC term rewriting Giorgio DelzannoRoberto Montagna Original Article 07 May 2008 Pages: 407 - 428
A compositional Petri net translation of general π-calculus terms Raymond DevillersHanna KlaudelMaciej Koutny Original Article 29 April 2008 Pages: 429 - 450
Capture-avoiding substitution as a nominal algebra Murdoch J. GabbayAad Mathijssen Original Article 15 January 2008 Pages: 451 - 479
Model checking Duration Calculus: a practical approach Roland MeyerJohannes FaberAndrey Rybalchenko Original Article Open access 06 May 2008 Pages: 481 - 505
Deductive verification of alternating systems Matteo SlaninaHenny B. SipmaZohar Manna Original Article 24 April 2008 Pages: 507 - 560