Publications:A syntactic commutativity format for SOS

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
Diva url
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.