Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers


538 users

0 votes
in * TF "Emb. Sys. and Rob." by (250 points)

1 Answer

0 votes
Best answer

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
by (166k points)
selected by
Apologies Professor, I may have missed this point. Thank you for pointing this out.
You are welcome!
Imprint | Privacy Policy