A Syntactic Commutativity Format for SOS

MohammadReza Mousavi, Michel Reniers, Jan Friso Groote, To appear in: Information Processing Letters (IPL), 93(5):217--223, Elsevier Science B.V., March 2005.

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.

A preliminary version of this paper has appeared as:

MohammadReza Mousavi, Michel Reniers, Jan Friso Groote, Technical Report CSR-04-25 Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, September, 2004.


Technical Report   in .ps format   in .pdf format

Bibtex Entry: 

@Article{MousaviIPL05,
    author      = "Mousavi, MohammadReza and Reniers, Michel  and Groote, Jan Friso",
    title       = "A Syntactic Commutativity Format for {SOS}",
    journal     = "Information Processing Letters",
    volume      = "93",
    issue       = "5",
    pages       = "217--223",
    month       = mar,
    year        = "2005"
}

Back to Publications Page