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.
Symmetry<br />
For symmetry, we have to show that if S is a<br />
bisimulation then so is its converse S -1 .<br />
However, this is obvious from the definition<br />
of bisimulation.<br />
49