Skip to main content
CSIRO Logo Data 61 logo

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

Download