Skip to main content
CSIRO Logo Data 61 logo

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