This is a follow up of a previous post where a formalization of the concept of behavior –bisimilarity– was presented. Now I want to focus into one approach to characterize “equivalence of behavior,” that is, when two states of a system are bisimilar.
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.