@article{vanGlabbeek_Fokkink_17,
    address          = {Berlin, Germany},
    author           = {van Glabbeek, Robert and Fokkink, Wan},
    date             = {2017-12-19},
    doi              = {https://doi.org/10.1016/j.ic.2017.10.003},
    editor           = {{Meyer, Roland \& Nestmann, Uwe}},
    issn             = {0890-5401},
    journal          = {Information and Computation},
    keywords         = {Structural Operational Semantics Congruence formats Modal logic Weak bisimilarity},
    month            = dec,
    pages            = {79-113},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Fokkink_17.pdf},
    publisher        = {Elsevier},
    series           = {Leibniz International Proceedings in Informatics (LIPIcs)},
    title            = {Divide and Congruence {II}: From Decomposition of Modal Formulas to Preservation of Delay and Weak
                        Bisimilarity},
    volume           = {257},
    year             = {2017}
  }