Structural operational semantics with first-order logic

M.J. Weerdenburg, van; M.A. Reniers

doi:10.1016/j.entcs.2009.07.075

Structural operational semantics with first-order logic

M.J. Weerdenburg, van, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008)
Editors	M. Hennessy, B. Klin
Pages	85-106
DOIs	https://doi.org/10.1016/j.entcs.2009.07.075
Publication status	Published - 2009

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	229(4)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2009.07.075

Cite this

Weerdenburg, van, M. J., & Reniers, M. A. (2009). Structural operational semantics with first-order logic. In M. Hennessy, & B. Klin (Eds.), Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008) (pp. 85-106). (Electronic Notes in Theoretical Computer Science; Vol. 229(4)). https://doi.org/10.1016/j.entcs.2009.07.075

@inproceedings{617cb9e4ffcf4500ab7900bb6003f7e9,

title = "Structural operational semantics with first-order logic",

author = "\{Weerdenburg, van\}, M.J. and M.A. Reniers",

year = "2009",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "85--106",

editor = "M. Hennessy and B. Klin",

booktitle = "Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008)",

}

Structural operational semantics with first-order logic. / Weerdenburg, van, M.J.; Reniers, M.A.
Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008). ed. / M. Hennessy; B. Klin. 2009. p. 85-106 (Electronic Notes in Theoretical Computer Science; Vol. 229(4)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Structural operational semantics with first-order logic

AU - Weerdenburg, van, M.J.

AU - Reniers, M.A.

PY - 2009

Y1 - 2009

U2 - 10.1016/j.entcs.2009.07.075

DO - 10.1016/j.entcs.2009.07.075

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 85

EP - 106

BT - Proceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008)

A2 - Hennessy, M.

A2 - Klin, B.

ER -