@inproceedings{vanGlabbeek_GLS_19,
    address          = {Paris},
    author           = {van Glabbeek, Robert and Goltz, Ursula and Lippert, Christopher and Stephan, Mennicke},
    booktitle        = {The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and
                        Privacy --- Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday},
    date             = {2019-11-4},
    doi              = {https://doi.org/10.1007/978-3-030-31175-9\_11},
    editor           = {{M.S. Alvim, K. Chatzikokolakis, C. Olarte \& F. Valencia}},
    keywords         = {Process calculi; expressiveness; translations; quality criteria for encodings; valid encodings;
                        compositionality; operational correspondence; semantic equivalences; asynchronous π-calculus.},
    month            = nov,
    pages            = {182-205},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_GLS_19.pdf},
    publisher        = {Springer},
    series           = {LNCS 11760},
    title            = {Stronger Validity Criteria for Encoding Synchrony},
    volume           = {11760},
    year             = {2019}
  }