Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng. On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. In Oscar H. Ibarra, Hsu-Chun Yen, editors, Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings. Volume 4094 of Lecture Notes in Computer Science, pages 219-229, Springer, 2006. [doi]
Abstract is missing.