Question

If K1 and K2 are not bisimilar on bisimulation K1≈K2, can K2 and K1 be bisimilar on bisimulation K2≈K1?

Answer 1

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

• reflexivity: K ≈ K
• symmetry: K1 ≈ K2 implies K2 ≈ K1
• transitivity: K1 ≈ K2 and K2 ≈ K3 imply K1 ≈ K3

Comments

Apologies Professor, I may have missed this point. Thank you for pointing this out.

---

You are welcome!