The University of New South Wales

Preface, proceedings of the 3rd workshop on structural operational semantics

Authors

Rob van Glabbeek and Peter D. Mosses

NICTA

UNSW

Swansea University

Abstract

BibTeX Entry

  @inbook{vanGlabbeek_Mosses_07,
    publisher        = {Elsevier},
    booktitle        = {Electronic Notes in Theoretical Computer Science},
    month            = may,
    issn             = {1571-0661},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/152.pdf},
    year             = {2007},
    editor           = {{Robert J. van Glabbeek and Peter D. Mosses}},
    keywords         = {structural operational semantics},
    volume           = {175},
    title            = {Preface, Proceedings of the 3rd Workshop on Structural Operational Semantics},
    number           = {1},
    author           = {van Glabbeek, Robert and Mosses, Peter D.},
    pages            = {1--2}
  }

Download