Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10331343 | Information Processing Letters | 2005 | 7 Pages |
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
MohammadReza Mousavi, Michel Reniers, Jan Friso Groote,