@conference{Fokkink_Glabbeek_19,
    address          = {Amsterdam},
    author           = {Fokkink, Wan and van Glabbeek, Robert},
    booktitle        = {International Conference on Concurrency Theory (CONCUR)},
    date             = {2019-8-20},
    doi              = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.0},
    editor           = {{W.J. Fokkink \& R.J. van Glabbeek}},
    month            = aug,
    pages            = {i-xiv},
    paperurl         = {https://trustworthy.systems/publications/full_text/Fokkink_Glabbeek_19.pdf},
    publisher        = {Schloss Dagstuhl---Leibniz-Zentrum f\"{u}r Informatik},
    series           = {Leibniz International Proceedings in Informatics (LIPIcs) 140},
    title            = {Proceedings 30th International Conference on Concurrency Theory ({CONCUR} 2019)},
    volume           = {140},
    year             = {2019}
  }