1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Strong bisimilarity

  1. May 17, 2014 #1
    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 ?
     
    Last edited: May 17, 2014
  2. jcsd
  3. May 21, 2014 #2

    NascentOxygen

    User Avatar

    Staff: Mentor

    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.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Strong bisimilarity
Loading...