Rule formats for distributivity
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. (C) 2012 Elsevier B.V. All rights reserved.
rule formats distributivity structural operational semantics