Volume 29, Issue 2

September 2006

Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker

6 articles in this issue

Foreword
Luboš Brim
Martin Leucker
OriginalPaper 08 July 2006 Pages: 115 - 116
Distributed breadth-first search LTL model checking
Jiří Barnat
Ivana Černá
OriginalPaper 08 July 2006 Pages: 117 - 134
CTL^* model checking on a shared-memory architecture
Cornelia P. Inggs
Howard Barringer
OriginalPaper 11 July 2006 Pages: 135 - 155
A work-efficient distributed algorithm for reachability analysis
Orna Grumberg
Tamir Heyman
Assaf Schuster
OriginalPaper 06 July 2006 Pages: 157 - 175
Distributed disk-based algorithms for model checking very large Markov chains
Alexander Bell
Boudewijn R. Haverkort
OriginalPaper 08 July 2006 Pages: 177 - 196
Dealing with practical limitations of distributed timed model checking for timed automata
V. Braberman
A. Olivero
F. Schapachnik
Original Paper 06 July 2006 Pages: 197 - 214

Search