@article{Fokkink_GL_19,
    address          = {Berlin, Germany},
    author           = {Fokkink, Wan and van Glabbeek, Robert and Luttik, Bas},
    date             = {2019-10-1},
    doi              = {https://doi.org/10.1016/j.ic.2019.104435},
    editor           = {{Meyer, Roland \& Nestmann, Uwe}},
    journal          = {Information and Computation},
    keywords         = {Structural Operational Semantics; Compositionality; Congruence formats; Modal logic; Divergence;
                        Branching bisimulation},
    month            = oct,
    numpages         = {104435},
    paperurl         = {https://trustworthy.systems/publications/full_text/Fokkink_GL_19.pdf},
    publisher        = {Elsevier},
    series           = {Leibniz International Proceedings in Informatics (LIPIcs)},
    title            = {Divide and Congruence {III}: From Decomposition of Modal Formulas to Preservation of Stability and
                        Divergence},
    volume           = {268},
    year             = {2019}
  }