Issue 2/2006
Special Issue on Parallel and Distributed Databases; Guest Editors: Lubos Brim and Martin Leucker
Content (6 Articles)
A work-efficient distributed algorithm for reachability analysis
Orna Grumberg, Tamir Heyman, Assaf Schuster
Distributed disk-based algorithms for model checking very large Markov chains
Alexander Bell, Boudewijn R. Haverkort
Original Paper
Dealing with practical limitations of distributed timed model checking for timed automata
V. Braberman, A. Olivero, F. Schapachnik