https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AA_syntactic_commutativity_format_for_SOSPublications:A syntactic commutativity format for SOS - Revision history2026-05-23T08:48:38ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:A_syntactic_commutativity_format_for_SOS&diff=4142&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote |PID=584523 |Name=Mousav..."2014-06-26T03:43:41Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote |PID=584523 |Name=Mousav..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote<br />
|PID=584523<br />
|Name=Mousavi, Mohammad Reza [mohmou] (Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands);Reniers, M. A. (Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands);Groote, J. F. (Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands)<br />
|Title=A syntactic commutativity format for SOS<br />
|PublicationType=Journal Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=Information Processing Letters<br />
|JournalISSN=0020-0190<br />
|Status=published<br />
|Volume=93<br />
|Issue=5<br />
|HostPublication=<br />
|Conference=<br />
|StartPage=217<br />
|EndPage=223<br />
|Year=2005<br />
|Edition=<br />
|Pages=<br />
|City=Amsterdam<br />
|Publisher=Elsevier<br />
|Series=<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=<br />
|ISRN=<br />
|DOI=http://dx.doi.org/10.1016/j.ipl.2004.11.007<br />
|ISI=000226696700002<br />
|PMID=<br />
|ScopusId=2-s2.0-12244310520<br />
|NBN=urn:nbn:se:hh:diva-20469<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=Commutativity;Formal semantics;Standard SOS formats;Structural Operational Semantics (SOS)<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.</p><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-01-11<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584523}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek