@article{vanGlabbeek_18,
    author           = {van Glabbeek, Robert},
    doi              = {https://doi.org/10.1016/j.ipl.2018.04.015},
    issn             = {0020-0190},
    journal          = {Information Processing Letters},
    keywords         = {Process calculi; expressiveness; quality criteria for encodings; valid encoding; π-calculus},
    month            = sep,
    pages            = {17-25},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_18.pdf},
    publisher        = {Elsevier},
    title            = {On the validity of encodings of the synchronous in the asynchronous $\pi$-calculus},
    volume           = {137},
    year             = {2018}
  }