Bisimilarity of processes with finite-state systems (1997)

by P Jančar, A Kučera
Venue:In Proceedings of the 2nd International Workshop on Verification of Infinite State Systems (INFINITY’97), volume 9 of Electronic Notes in Theoretical Computer Science