Bisimulation
Authors
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} }