Keyword: weak bisimilarity

• WeakUpTo: New Up-to Techniques for Weak Bisimulation
  Damien Pous