Trustworthy Systems

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

Download