- 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...
-
generally characterized by
invariances under bisimulation. It also so
happens that
invariance under bisimulation is the root of tree
model property which...
-
identifying these two
sorts of
rational numbers.
Mathematics portal Bisimulation Equivalence relation Heap (mathematics)
Isometry Isomorphism class Isomorphism...
-
abbreviations are used: Equivalences: SB:
Strong Bisimulation WB: Weak
Bisimulation BB:
Branching Bisimulation STE:
Strong Trace Equivalence WTE: Weak Trace...
-
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...
