Wojciech Czerwinski - Bisimulation equivalence and techniques used to solve it