Return to Article Details How to Relax a Bisimulation? Download Download PDF