@inproceedings{vanGlabbeek_19_4, address = {Amsterdam, The Netherlands}, author = {van Glabbeek, Robert}, booktitle = {Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics}, date = {2019-8-22}, doi = {https://doi.org/10.4204/EPTCS.300.5}, editor = {{Jorge A. P\'{e}rez \& Jurriaan Rot}}, issn = {2075-2180}, keywords = {Structural operational semantics; transition system specifications; open terms; process graph semantics; compositionality.}, month = aug, pages = {69--85}, paperurl = {https://trustworthy.systems/publications/full_text/vanGlabbeek_19_4.pdf}, publisher = {Open Publishing Association}, series = {EPTCS 300}, title = {On the Meaning of Transition System Specifications}, volume = {300}, year = {2019} }