Preface: 4th Workshop on Structural Operational Semantics, Poland, 9 July 2007

R.J. van Glabbeek; M. Hennessy

doi:10.1016/j.entcs.2007.10.001

Preface: 4th Workshop on Structural Operational Semantics, Poland, 9 July 2007

Research output: Contribution to journal › Editorial › peer-review

Abstract / Description of output

This volume contains the proceedings of SOS 2007, the Fourth Workshop on Structural Operational Semantics, held on the 9th of July 2007 in Wroclaw, Poland,as a affiliated workshop of LICS 2007, the Twenty-Second Annual IEEE Symposium on Logic in Computer Science, and ICALP 2007, the 34th International Colloquiumon Automata, Languages and Programming.

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	Electronic Notes in Theoretical Computer Science
Volume	192
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2007.10.001
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

10.1016/j.entcs.2007.10.001Licence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

http://theory.stanford.edu/~rvg/abstracts.html#72

Cite this

@article{8e5a0cee139948fd8ce4adc9ef76cd68,

title = "Preface: 4th Workshop on Structural Operational Semantics, Poland, 9 July 2007",

abstract = "This volume contains the proceedings of SOS 2007, the Fourth Workshop on Structural Operational Semantics, held on the 9th of July 2007 in Wroclaw, Poland,as a affiliated workshop of LICS 2007, the Twenty-Second Annual IEEE Symposium on Logic in Computer Science, and ICALP 2007, the 34th International Colloquiumon Automata, Languages and Programming.",

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

year = "2007",

month = oct,

day = "24",

doi = "10.1016/j.entcs.2007.10.001",

language = "English",

volume = "192",

pages = "1--3",

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 - Preface

T2 - Fourth Workshop on Structural Operational Semantics

AU - van Glabbeek, R.J.

AU - Hennessy, M.

N1 - Conference code: 4

PY - 2007/10/24

Y1 - 2007/10/24

N2 - This volume contains the proceedings of SOS 2007, the Fourth Workshop on Structural Operational Semantics, held on the 9th of July 2007 in Wroclaw, Poland,as a affiliated workshop of LICS 2007, the Twenty-Second Annual IEEE Symposium on Logic in Computer Science, and ICALP 2007, the 34th International Colloquiumon Automata, Languages and Programming.

AB - This volume contains the proceedings of SOS 2007, the Fourth Workshop on Structural Operational Semantics, held on the 9th of July 2007 in Wroclaw, Poland,as a affiliated workshop of LICS 2007, the Twenty-Second Annual IEEE Symposium on Logic in Computer Science, and ICALP 2007, the 34th International Colloquiumon Automata, Languages and Programming.

U2 - 10.1016/j.entcs.2007.10.001

DO - 10.1016/j.entcs.2007.10.001

M3 - Editorial

SN - 1571-0661

VL - 192

SP - 1

EP - 3

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

Y2 - 9 July 2007

ER -

Preface: 4th Workshop on Structural Operational Semantics, Poland, 9 July 2007

Abstract / Description of output

Access to Document

Fingerprint

Cite this