A congruence rule format with universal quantification

M. Mousavi; M.A. Reniers

doi:10.1016/j.entcs.2007.08.019

A congruence rule format with universal quantification

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

Original language	English
Title of host publication	Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland
Editors	R. Glabbeek, van, M. Hennessy
Pages	109-124
DOIs	https://doi.org/10.1016/j.entcs.2007.08.019
Publication status	Published - 2007

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	192(1)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2007.08.019

Cite this

@inproceedings{d2bbeb3d38a448729dae849bfcba9c6a,

title = "A congruence rule format with universal quantification",

author = "M. Mousavi and M.A. Reniers",

year = "2007",

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

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "109--124",

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

booktitle = "Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland",

}

A congruence rule format with universal quantification. / Mousavi, M.; Reniers, M.A.
Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland. ed. / R. Glabbeek, van; M. Hennessy. 2007. p. 109-124 (Electronic Notes in Theoretical Computer Science; Vol. 192(1)).

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

TY - GEN

T1 - A congruence rule format with universal quantification

AU - Mousavi, M.

AU - Reniers, M.A.

PY - 2007

Y1 - 2007

U2 - 10.1016/j.entcs.2007.08.019

DO - 10.1016/j.entcs.2007.08.019

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 109

EP - 124

BT - Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland

A2 - Glabbeek, van, R.

A2 - Hennessy, M.

ER -