Skip to main content
CSIRO Logo Data 61 logo

Preface, proceedings of the 4th workshop on structural operational semantics

Authors

Rob van Glabbeek and Matthew Hennessy

NICTA

UNSW

University of Sussex

Abstract

BibTeX Entry

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

Download