Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers. Proceedings of the 5th International Conference on Language and Automata Theory and Applications (LATA 2011). Tarragona, Spain. volume 6638 of Lecture Notes in Computer Science, pages 79--90, Springer-Verlag, 2011.
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
Paper (in .pdf format)
@InProceedings{MousaviLATA2011,
author = "Aceto, Luca and Cimini, Matteo and Ingolfsdottir, Anna and Mousavi, MohammadReza and Reniers, Michel A.",
title = "Rule Formats for Distributivity",
booktitle = "Proceedings of the 5th International Conference on Language and Automata Theory and Applications ({LATA} 2011)",
volume = "6638",
series = "Lecture Notes in Computer Science",
pages = "79--90",
publisher = "Springer-Verlag",
year = "2011"
}