@article{Fokkink_GW_12,
    author           = {Fokkink, Wan and van Glabbeek, Robert and de Wind, Paulien},
    issn             = {0890-5401},
    journal          = {Information and Computation},
    keywords         = {concurrency, structural operational semantics, compositionality, congruence, branching bisimulation,
                        modal logic, modal decomposition.},
    month            = may,
    number           = { },
    pages            = {59--85},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4930.pdf},
    title            = {Divide and Congruence: From Decomposition of Modal Formulas to Preservation of Branching and
                        {\η}-Bisimilarity},
    volume           = {214},
    year             = {2012}
  }