Search
Now showing items 1-1 of 1
Distributed analysis of Markov chains
(1998)
This thesis examines how parallel and distributed algorithms can increase the power of techniques for correctness and performance analysis of concurrent systems. The systems in question are state transition systems from ...