Trustworthy Systems

Bisimulation

Authors

Rob van Glabbeek

NICTA

UNSW

Stanford University

Abstract

Bisimulation equivalence is a semantic equivalence relation on labelled transition systems, which are used to represent distributed systems. It identifies systems with the same branching structure.

BibTeX Entry

  @inbook{vanGlabbeek_11_2,
    author           = {van Glabbeek, Robert},
    booktitle        = {Encyclopedia of Parallel Computing},
    editor           = {{David Padua}},
    isbn             = {978-0-387-09765-7},
    keywords         = {concurrency, labelled transition systems, modal logic, kripke structures, bisimulation,
                        non-well-founded sets, abstraction, weak and branching bisimulation.},
    month            = dec,
    pages            = {136--139},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4723.pdf},
    publisher        = {Springer},
    series           = { },
    title            = {Bisimulation },
    volume           = { 1},
    year             = {2011}
  }

Download