@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}
  }