Tag: behavior
-
Describing Behavior
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.
-
Behavior
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…