Conservative Extension in Structural Operational Semantics

Luca Aceto, W. Fokkink, C. Verhoef

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Bulletin of the European Association for Theoretical Computer Science
Volume	No. 69
Pages (from-to)	110-132
ISSN	0252-9742
Publication status	Published - 1999

AUB Link

@article{55e28250809211db8b97000ea68e967b,

title = "Conservative Extension in Structural Operational Semantics",

author = "Luca Aceto and W. Fokkink and C. Verhoef",

note = "Also available as BRICS Report Series ; RS-99-24 Also available as BRICS Report Series ; RS-99-24",

year = "1999",

language = "English",

volume = "No. 69",

pages = "110--132",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}

TY - JOUR

T1 - Conservative Extension in Structural Operational Semantics

AU - Aceto, Luca

AU - Fokkink, W.

AU - Verhoef, C.

N1 - Also available as BRICS Report Series ; RS-99-24 Also available as BRICS Report Series ; RS-99-24

PY - 1999

Y1 - 1999

M3 - Journal article

SN - 0252-9742

VL - No. 69

SP - 110

EP - 132

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

ER -