A syntactic commutativity format for SOS

M.R. Mousavi; M.A. Reniers; J.F. Groote

doi:10.1016/j.ipl.2004.11.007

A syntactic commutativity format for SOS

M.R. Mousavi, M.A. Reniers, J.F. Groote

Research output: Contribution to journal › Article › Academic › peer-review

22 Citations (Scopus)

3 Downloads (Pure)

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.

Original language	English
Pages (from-to)	217-223
Journal	Information Processing Letters
Volume	93
Issue number	5
DOIs	https://doi.org/10.1016/j.ipl.2004.11.007
Publication status	Published - 2005

Access to Document

10.1016/j.ipl.2004.11.007

Cite this

@article{da5e46778c264b0982d80cdb5314173f,

title = "A syntactic commutativity format for SOS",

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.",

author = "M.R. Mousavi and M.A. Reniers and J.F. Groote",

year = "2005",

doi = "10.1016/j.ipl.2004.11.007",

language = "English",

volume = "93",

pages = "217--223",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "5",

}

TY - JOUR

T1 - A syntactic commutativity format for SOS

AU - Mousavi, M.R.

AU - Reniers, M.A.

AU - Groote, J.F.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

U2 - 10.1016/j.ipl.2004.11.007

DO - 10.1016/j.ipl.2004.11.007

M3 - Article

SN - 0020-0190

VL - 93

SP - 217

EP - 223

JO - Information Processing Letters

JF - Information Processing Letters

IS - 5

ER -

A syntactic commutativity format for SOS

Abstract

Access to Document

Fingerprint

Cite this