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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland
Redacteuren	R. Glabbeek, van, M. Hennessy
Pagina's	109-124
DOI's	https://doi.org/10.1016/j.entcs.2007.08.019
Status	Gepubliceerd - 2007

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	192(1)
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/j.entcs.2007.08.019

Citeer dit

Mousavi, M., & Reniers, M. A. (2007). A congruence rule format with universal quantification. In R. Glabbeek, van, & M. Hennessy (editors), Proceedings of the 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland (blz. 109-124). (Electronic Notes in Theoretical Computer Science; Vol. 192(1)). https://doi.org/10.1016/j.entcs.2007.08.019

@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. uitgave / R. Glabbeek, van; M. Hennessy. 2007. blz. 109-124 (Electronic Notes in Theoretical Computer Science; Vol. 192(1)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -