Difference between revisions of "Publications:A syntactic commutativity format for SOS"
From CERES
(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...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
| Title | A syntactic commutativity format for SOS |
|---|---|
| Author | Mohammad Reza Mousavi and M. A. Reniers and J. F. Groote |
| Year | 2005 |
| PublicationType | Journal Paper |
| Journal | Information Processing Letters |
| HostPublication | |
| DOI | http://dx.doi.org/10.1016/j.ipl.2004.11.007 |
| Conference | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584523 |
| Abstract | 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. |
