bisimilarity

  1. REDIRECT Bisimulation