Split and ST bisimulation semantics (Q1892889)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Split and ST bisimulation semantics
scientific article

    Statements

    title
    Split and ST bisimulation semantics (English)
    0 references
    author
    Roberto Gorrieri
    0 references
    Cosimo Laneve
    0 references
    publication date
    10 July 1995
    0 references
    zbMATH Keywords
    action atomicity
    0 references
    bisimulation
    0 references

    Identifiers

    zbMATH DE Number
    767835
    0 references
    OpenAlex ID
    W1970071839
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1892889&oldid=31591712"
    Powered by MediaWiki