Rule formats for distributivity

L. Aceto, M. Cimini, A. Ingólfsdóttir, M.R. Mousavi, M.A. Reniers

    Research output: Book/ReportReportAcademic

    143 Downloads (Pure)


    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 impossibility of the validity of the left-distributivity law are also offered.
    Original languageEnglish
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Number of pages39
    Publication statusPublished - 2010

    Publication series

    NameComputer science reports
    ISSN (Print)0926-4515


    Dive into the research topics of 'Rule formats for distributivity'. Together they form a unique fingerprint.

    Cite this