Enhancing Partial-Order Reduction via Process Clustering

The full version is not available, because it is superseded by the following publication.

T. Basten, D. Bošnački, and M.C.W. Geilen. Cluster-Based Partial-Order Reduction. Automated Software Engineering, An International Journal, 11(4):365-402, October 2004. (abstract / pdf) © Kluwer Academic Publishers.

Back to the list of Technical Reports.