@article{vanGlabbeek_11,
    author           = {van Glabbeek, Robert},
    issn             = {0304-3975},
    journal          = {Theoretical Computer Science},
    keywords         = {concurrency, structural operational semantics, ccs, compositionality, branching bisimulation, weak
                        bisimulation, complete axiomatizations.},
    month            = jun,
    number           = {28},
    pages            = {3283--3302},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4141.pdf},
    title            = {On Cool Congruence Formats for Weak Bisimulations},
    volume           = {412},
    year             = {2011}
  }