Bisimulation and Co-induction: Some Problems

Bisimulation and co-induction are one of the most important contributions to Computer Science that stem from the work on algebraic process calculi. In this note, we review a few outstanding problems that concern bisimulation and co-induction.