Abstract

Although Coupled Similarity has been around for, in essence, 30 years - with its official birth in 1992 - it is one of the lesser known branching-time equivalences. It is weaker than Weak Bisimilarity, but the difference is noticable. In the talk, I focus not so much on the theory, but on its various application areas. I also mention very recent work on algorithms to compute Coupled Similarity.


Legal Disclosure | Privacy Statement