@inproceedings{Fokkink_GL_17,
    address          = {Berlin, Germany},
    author           = {Fokkink, Wan and van Glabbeek, Robert and Luttik, Bas},
    booktitle        = {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}
  }