Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6876344 | Theoretical Computer Science | 2012 | 28 Pages |
Abstract
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. Some conditions ensuring the invalidity of the left-distributivity law are also offered.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi, Michel A. Reniers,