A congruence theorem for structured operational semantics with predicates and negative

C. Verhoef

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

Original language	English
Title of host publication	CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)
Editors	B. Jonsson, J. Parrow
Place of Publication	Berlin
Publisher	Springer
Pages	433-448
ISBN (Print)	3-540-58328-7
DOIs	https://doi.org/10.1007/BFb0015024
Publication status	Published - 1994

Name	Lecture Notes in Computer Science
Volume	836
ISSN (Print)	0302-9743

Access to Document

@inproceedings{54c7f6cc3fdb46a3a2600a1968373082,

title = "A congruence theorem for structured operational semantics with predicates and negative",

author = "C. Verhoef",

year = "1994",

doi = "10.1007/BFb0015024",

language = "English",

isbn = "3-540-58328-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "433--448",

editor = "B. Jonsson and J. Parrow",

booktitle = "CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)",

address = "Germany",

}

A congruence theorem for structured operational semantics with predicates and negative. / Verhoef, C.
CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994). ed. / B. Jonsson; J. Parrow. Berlin: Springer, 1994. p. 433-448 (Lecture Notes in Computer Science; Vol. 836).

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

TY - GEN

T1 - A congruence theorem for structured operational semantics with predicates and negative

AU - Verhoef, C.

PY - 1994

Y1 - 1994

U2 - 10.1007/BFb0015024

DO - 10.1007/BFb0015024

M3 - Conference contribution

SN - 3-540-58328-7

T3 - Lecture Notes in Computer Science

SP - 433

EP - 448

BT - CONCUR'94 (Proceedings 5th International Conference on Concurrency Theory, Uppsala, Sweden, August 22-25, 1994)

A2 - Jonsson, B.

A2 - Parrow, J.

PB - Springer

CY - Berlin

ER -