bisimulation
Sign in to saveAlso known as bisimilar, bisimilarity
In theoretical computer science, a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in that one system simulates the other and vice versa.
~10 min read
Article
15 sectionsContents
- Formal definition
- Alternative definitions
- Relational definition
- Fixpoint definition
- Ehrenfeucht–Fraïssé game definition
- Coalgebraic definition
- Variants of bisimulation
- Bisimulation and modal logic
- Algorithm
- See also
- Notes and references
- Bibliography
- Further reading
- External links
- Software tools
In theoretical computer science, a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in that one system simulates the other and vice versa.
Intuitively two systems are bisimilar if they, assuming we view them as playing a game according to some rules, match each other's moves. In this sense, each of the systems cannot be distinguished from the other by an observer.
Connections
time complexity
Entity
state transition system
Entity
International Standard Book Number
Entity
programming language
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
Library of Congress Control Number
Entity
OCLC, Inc.
Entity
bijection
Entity
equivalence relation
Entity
power set
Entity
theoretical computer science
Entity
binary relation
Entity
modal logic
Entity
Q22908627
Entity
first-order logic
Entity
symmetric relation
Entity
Springer Science+Business Media
Entity
partially ordered set
Entity
Robin Milner
Entity