@inproceedings{32f4fdb240744882903c45f51b4f2979,
title = "Orthogonal extensions in structural operational semantics",
abstract = "In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural Operational Semantics (SOS).",
author = "M.R. Mousavi and M.A. Reniers",
year = "2005",
doi = "10.1007/11523468_98",
language = "English",
isbn = "3-540-27580-0",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "1214--1225",
editor = "L. Caires and G.F. Italiano and L. Monteiro and C. Palamidessi and M. Yung",
booktitle = "Automata, Languages and Programming (Proceedings 32rd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005)",
address = "Germany",
}