https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AOrthogonal_extensions_in_structural_operational_semantics 2026-05-23T04:44:59Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:Orthogonal_extensions_in_structural_operational_semantics&diff=4144&oldid=prev 2014-06-26T03:43:42Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Michel A. Reniers |PID=584694 |Name=Mousavi, Mohamma...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, Michel A. Reniers<br /> |PID=584694<br /> |Name=Mousavi, Mohammad Reza [mohmou] (Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands);Reniers, Michel A. (Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, Netherlands)<br /> |Title=Orthogonal extensions in structural operational semantics<br /> |PublicationType=Conference Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=<br /> |JournalISSN=<br /> |Status=<br /> |Volume=3580<br /> |Issue=<br /> |HostPublication=Automata, Languages and Programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings<br /> |Conference=32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), Lisbon, PORTUGAL, JUL 11-15, 2005<br /> |StartPage=1214<br /> |EndPage=1225<br /> |Year=2005<br /> |Edition=<br /> |Pages=<br /> |City=Heidelberg<br /> |Publisher=Springer<br /> |Series=Lecture Notes in Computer Science ; 3580<br /> |SeriesISSN=0302-9743<br /> |ISBN=978-3-540-27580-0;3-540-27580-0<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1007/11523468_98<br /> |ISI=000230880500098<br /> |PMID=<br /> |ScopusId=2-s2.0-26444619798<br /> |NBN=urn:nbn:se:hh:diva-20471<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=Formal Semantics;Structural Operational Semantics (SOS);Conservative Extension;Operational Conservativity;Equational Conservativity;Orthogonality<br /> |Categories=Data- och informationsvetenskap (102)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=&lt;p&gt;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).&lt;/p&gt;<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2013-01-08<br /> |PublicationDate=2013-01-09<br /> |LastUpdated=2013-02-05<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:584694}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek