Skip to main content

Preface, special issue on structural operational semantics

Authors

Rob van Glabbeek and Peter D. Mosses

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

Download