@inproceedings{vanGlabbeek_18_2, address = {Thessaloniki, Greece}, author = {van Glabbeek, Robert}, booktitle = {Proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures}, date = {2018-4-14}, doi = {https://doi.org/10.1007/978-3-319-89366-2\_10}, editor = {{Baier, Christel Baier and Dal Lago, Ugo}}, keywords = {Expressiveness; encodings; languages; translations; compositionality; semantic equivalences; π-calculus.}, month = apr, pages = {183-202}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_18_2.pdf}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {{A} Theory of Encodings and Expressiveness}, volume = {10803}, year = {2018} }