Strong Bisimulation
Strong Bisimulation
Strong Bisimulation
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
~ is an Equivalence Relation<br />
p ~ p<br />
p ~ q implies q ~ p<br />
p ~ q and q ~ r imply p ~ r<br />
47