1. The problem statement, all variables and given/known data https://www.dropbox.com/s/p09aulbcf02pfhk/Bisimilarity.jpg Find out if q1-p3 and p3->q1 are "strongly bi-similar" 2. Relevant equations 3. The attempt at a solution No idea. I have to consider the transition of p and then show it's properly matched by some transition of q ? I still can't find out how to do the transition here. And how can I have 2 figures and get the bi-simulation for the paths ?