SOS rule formats for zero and unit elements (Q549170): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:58, 30 January 2024

scientific article
Language Label Description Also known as
English
SOS rule formats for zero and unit elements
scientific article

    Statements

    SOS rule formats for zero and unit elements (English)
    0 references
    0 references
    0 references
    7 July 2011
    0 references
    structural operational semantics (SOS)
    0 references
    rule formats
    0 references
    bisimilarity
    0 references
    unit elements
    0 references
    zero elements
    0 references

    Identifiers