@inbook{vanGlabbeek_Hennessy_07, author = {van Glabbeek, Robert and Hennessy, Matthew}, booktitle = {Electronic Notes in Theoretical Computer Science}, editor = {{Robert J. van Glabbeek and Matthew Hennessy}}, issn = {1571-0661}, keywords = {structural operational semantics}, month = oct, number = {1}, pages = {1--3}, paperurl = {https://trustworthy.systems/publications/nicta_full_text/153.pdf}, publisher = {Elsevier}, title = {Preface, Proceedings of the 4th Workshop on Structural Operational Semantics}, volume = {192}, year = {2007} }