Difference between revisions of "Publications:Orthogonal extensions in structural operational semantics"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Michel A. Reniers |PID=584694 |Name=Mousavi, Mohamma...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| Title | Orthogonal extensions in structural operational semantics |
|---|---|
| Author | Mohammad Reza Mousavi and Michel A. Reniers |
| Year | 2005 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings |
| DOI | http://dx.doi.org/10.1007/11523468_98 |
| Conference | 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005 |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584694 |
| Abstract | In this paper, we give novel and more liberal notions of operationaland equational conservativity for language extensions. We motivatethese notions by showing their practical application in existing formalisms.Based on our notions, we formulate and prove meta-theoremsthat establish conservative extensions for languages defined using StructuralOperational Semantics (SOS). |
