Weak Bisimulation Approximants.

Will Harwood, Faron Moller, Anton Setzer

Browse the full CSL paper archive.