1. Introductory paper

   • Luboš Brim
   • Orna Grumberg

   Special section on parallel and distributed model checking 25 January 2005 Pages: 1 - 3

2. Issues in distributed timed model checking

   • Víctor Braberman
   • Alfredo Olivero
   • Fernando Schapachnik

   Special section on parallel and distributed model checking 25 May 2004 Pages: 4 - 18

3. Distributed reachability analysis in timed automata

   • Gerd Behrmann

   Special section on parallel and distributed model checking 28 November 2003 Pages: 19 - 30

4. Parallel search for LTL violations

   • Michael D. Jones
   • Jacob Sorber

   Special section on parallel and distributed model checking 28 November 2003 Pages: 31 - 42

5. Sequential and distributed model checking of Petri nets

   • Alexander Bell
   • Boudewijn R. Haverkort

   Special section on parallel and distributed model checking 06 April 2004 Pages: 43 - 60

6. Assumption-based distribution of CTL model checking

   • Luboš Brim
   • Karen Yorav
   • Jitka Žídková

   Special section on parallel and distributed model checking 14 December 2004 Pages: 61 - 73

7. A distributed algorithm for strong bisimulation reduction of state spaces

   • Stefan Blom
   • Simona Orzan

   Special section on parallel and distributed model checking 25 January 2005 Pages: 74 - 86