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