Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
Have a look at page 41 of the chapter on transition systems. The relation ≈ that expresses that there is a bisimulation relation between two structures is an equivalence relation, i.e., we have