by
A Syntactic
,
Commutativity Format
,
Sos Mohammadreza Mousavi
,
Michel Reniers
,
Jan Friso Groote
BibTeX
@MISC{Syntactic_,
author = {A Syntactic and Commutativity Format and Sos Mohammadreza Mousavi and Michel Reniers and Jan Friso Groote},
title = {},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
Citations
| 102 | Structural operational semantics - Aceto, Fokkink, et al. |
| 36 | Ageneral conservative extension theorem in process algebra - Verhoef - 1994 |
| 13 | Axiomatizing GSOS with termination - Baeten, Vink - 2004 |
| 4 | Ntyft/ntyxt rules reduce to ntree rules. Informationand Computation (I&C - Fokkink, Glabbeek - 1996 |
| 3 | Turning SOS rules into equations.Information and Computation (I&C - Aceto, Bloom, et al. - 1994 |
