Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007): 9 July 2007, Wroclaw, Poland

R.J. van Glabbeek (Editor), M. Hennessy (Editor)

Research output: Contribution to journal › Special issue › peer-review

Original language	English
Pages (from-to)	1-142
Number of pages	142
Journal	Electronic Notes in Theoretical Computer Science
Volume	192
Issue number	1
Publication status	Published - 24 Oct 2007
Event	Fourth Workshop on Structural Operational Semantics - Wroclaw, Poland Duration: 9 Jul 2007 → … Conference number: 4

Access to Document

@article{bb054ed95cce4961be742703814401f8,

title = "Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007): 9 July 2007, Wroclaw, Poland",

author = "{van Glabbeek}, R.J. and M. Hennessy",

year = "2007",

month = oct,

day = "24",

language = "English",

volume = "192",

pages = "1--142",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "1",

note = "Fourth Workshop on Structural Operational Semantics, SOS 2007 ; Conference date: 09-07-2007",

}

TY - JOUR

T1 - Proceedings of the Fourth Workshop on Structural Operational Semantics (SOS 2007)

T2 - Fourth Workshop on Structural Operational Semantics

A2 - van Glabbeek, R.J.

A2 - Hennessy, M.

N1 - Conference code: 4

PY - 2007/10/24

Y1 - 2007/10/24

M3 - Special issue

SN - 1571-0661

VL - 192

SP - 1

EP - 142

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

Y2 - 9 July 2007

ER -