@inproceedings{Fokkink_GL_17, address = {Berlin, Germany}, author = {Fokkink, Wan and van Glabbeek, Robert and Luttik, Bas}, booktitle = {Proceedings of the 28th International Conference on Concurrency Theory (CONCUR)}, date = {2017-9-5}, doi = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.15}, editor = {{Meyer, Roland \& Nestmann, Uwe}}, issn = {1868-8969}, keywords = {Structural Operational Semantics Congruence formats Modal Logic Weak semantics}, month = sep, pages = {15:1-15:16}, paperurl = {https://trustworthy.systems/publications/full_text/Fokkink_GL_17.pdf}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, title = {Divide and Congruence {III}: Stability \& Divergence}, volume = {85}, year = {2017} }