SOS rule formats for zero and unit elements

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

    Research output: Contribution to journalArticleAcademicpeer-review

    6 Citations (Scopus)
    1 Downloads (Pure)

    Abstract

    This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain constants act as left or right unit/zero elements for a set of binary operators. Examples of left and right zero, as well as unit, elements from the literature are shown to fit the rule formats offered in this study.
    Original languageEnglish
    Pages (from-to)3045-3071
    JournalTheoretical Computer Science
    Volume412
    Issue number28
    DOIs
    Publication statusPublished - 2011

    Fingerprint

    Dive into the research topics of 'SOS rule formats for zero and unit elements'. Together they form a unique fingerprint.

    Cite this