@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} }