I got a little confused with these 3 concepts. Is there a difference between bisimulation and bisimulation equivalence and if yes, then what is it? Also, if we say that the LTS's X and Y are bisimilar, this implies they are simulation equivalent, right? Please, someone, clarify.
Asked
Active
Viewed 260 times
