I’ll review in this post one of the most important notions of equivalence of behavior used in Computer Science: Bisimilarity.

Actually, “behavior” is a very deep word, and it is likely that one can not give a precise mathematical definition of what it means. But in a restricted context, there’s such definition and its surprising degree of simplicity is an indication of how fundamental it is.

Continue reading