A faster parallel implementation of the kanellakis-smolka algorithm for bisimilarity checking (1998)

by Cheoljoo Jeong, Youngchan Kim, Youngbae Oh, Heungnam Kim
Venue:In In Proceedings of the International Computer Symposium