Publications:A syntactic commutativity format for SOS

From CERES
Revision as of 05:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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.