Weak Bisimulation Approximants (2006)

by W Harwood, F Moller, A Setzer
Venue:In CSL’06: The 15th International Conference on Computer Science Logic. Lecture Notes in Computer Science