Partial Order Reductions for Bisimulation Checking

Michaela Huhn, Peter Niebert, Heike Wehrheim. Partial Order Reductions for Bisimulation Checking. In Vikraman Arvind, Ramaswamy Ramanujam, editors, Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings. Volume 1530 of Lecture Notes in Computer Science, pages 271-282, Springer, 1998.

Abstract

Abstract is missing.