- In
theoretical computer science a
bisimulation is a
binary relation between state transition systems, ****ociating
systems that
behave in the same way in...
-
generalizes the idea of
bisimulations. A
bisimulation matches up the
states of a
machine such that
transitions correspond; a
stutter bisimulation allows transitions...
-
theoretical computer science,
probabilistic bisimulation is an
extension of the
concept of
bisimulation for
fully probabilistic transition systems first...
- π-calculus
allows for a
definition of
bisimulation equivalence. In the π-calculus, the
definition of
bisimulation equivalence (also
known as bisimilarity)...
-
Honsell in the 1980s,
borrows from
computer science the
concept of a
bisimulation.
Bisimilar sets are
considered indistinguishable and thus equal, which...
-
style Operational semantics State transition system Simulation preorder Bisimulation Monads in
functional programming Exception handling Garbage collection...
-
identifying these two
sorts of
rational numbers.
Mathematics portal Bisimulation Equivalence relation Heap (mathematics)
Isometry Isomorphism class Isomorphism...
-
Davide (2011), "Origins of
bisimulation and coinduction", in Sangiorgi, Davide; Rutten, Jan (eds.),
Advanced Topics in
Bisimulation and Coinduction, Cambridge...
-
abbreviations are used: Equivalences: SB:
Strong Bisimulation WB: Weak
Bisimulation BB:
Branching Bisimulation STE:
Strong Trace Equivalence WTE: Weak Trace...
- {\displaystyle \ell } of A {\displaystyle {\mathcal {A}}} ,
there is a
timed bisimulation between the
extended states ( ℓ , ν 1 ) {\displaystyle (\ell ,\nu _{1})}...
