Month: March 2016

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…