How to Relax a Bisimulation?

Open in new window