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