- In
theoretical computer science a
bisimulation is a
binary relation between state transition systems, ****ociating
systems that
behave in the same way in...
-
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)...
-
generalizes the idea of
bisimulations. A
bisimulation matches up the
states of a
machine such that
transitions correspond; a
stutter bisimulation allows transitions...
-
generally characterized by
invariances under bisimulation. It also so
happens that
invariance under bisimulation is the root of tree
model property which...
-
Honsell in the 1980s,
borrows from
computer science the
concept of a
bisimulation.
Bisimilar sets are
considered indistinguishable and thus equal, which...
-
Davide (2011), "Origins of
bisimulation and coinduction", in Sangiorgi, Davide; Rutten, Jan (eds.),
Advanced Topics in
Bisimulation and Coinduction, Cambridge...
-
permit formal reasoning about equivalences between processes (e.g.,
using bisimulation).
Leading examples of
process calculi include CSP, CCS, ACP, and LOTOS...
- ℓ{\displaystyle \ell } of A{\displaystyle {\mathcal {A}}},
there is a
timed bisimulation between the
extended states (ℓ,ν1){\displaystyle (\ell ,\nu _{1})} and...
-
abbreviations are used: Equivalences: SB:
Strong Bisimulation WB: Weak
Bisimulation BB:
Branching Bisimulation STE:
Strong Trace Equivalence WTE: Weak Trace...