Preface, special issue on structural operational semantics
Authors
NICTA
UNSW
Swansea University
Abstract
BibTeX Entry
@inbook{vanGlabbeek_Mosses_09, publisher = {Elsevier}, booktitle = {Information and Computation}, month = feb, issn = {0890-5401}, paperurl = {https://ts.data61.csiro.au/publications/nicta_full_text/1737.pdf}, year = {2009}, editor = {{Robert J. van Glabbeek and Peter D. Mosses}}, keywords = {structural operational semantics, concurrent processes, simulation up-to, mobility, name-passing, congruence formats, bialgebraic semantics, big-step sos, logical relations}, volume = {207}, title = {Preface, Special Issue on Structural Operational Semantics}, number = {2}, author = {van Glabbeek, Robert and Mosses, Peter D.}, pages = {83--84} }