Publications:Rule Formats for Distributivity

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Rule Formats for Distributivity
Author Luca Aceto and Matteo Cimini and Anna Ingolfsdottir and Mohammad Reza Mousavi and Michel A. Reniers
Year 2012
PublicationType Journal Paper
Journal Theoretical Computer Science
Diva url
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. © 2012 Elsevier B.V. All rights reserved.