Strong bisimilarity between q1-p3 and p3→q1

  • Thread starter Thread starter XodoX
  • Start date Start date
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
1 reply · 1K views
XodoX
Messages
195
Reaction score
0

Homework Statement



https://www.dropbox.com/s/p09aulbcf02pfhk/Bisimilarity.jpg

Find out if q1-p3 and p3->q1 are "strongly bi-similar"

Homework Equations


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 ?
 
Last edited:
Physics news on Phys.org

Discussion

This might attract more response if it were moved to a mathematics forum? If you think so, ask one of the mentors to move it for you.

Good luck with your studies.