Skip to main content

TS

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

Download