Skip to main content

TS

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},
    author           = {van Glabbeek, Robert and Mosses, Peter D.},
    issn             = {1571-0661},
    number           = {1},
    month            = may,
    volume           = {175},
    editor           = {{Robert J. van Glabbeek and Peter D. Mosses}},
    year             = {2007},
    keywords         = {structural operational semantics},
    title            = {Preface, Proceedings of the 3rd Workshop on Structural Operational Semantics},
    booktitle        = {Electronic Notes in Theoretical Computer Science},
    pages            = {1-2}
  }

Download

Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.