A.: Weak bisimulation approximants (2006)

by W Harwood, F Moller, Setzer
Venue:In: Proceedings of CSL’06, LNCS