Publications:A syntactic commutativity format for SOS
From CERES
| 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. |
