Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628)

From MaRDI portal
Revision as of 19:14, 6 October 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
scientific article

    Statements

    title
    Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (English)
    0 references
    author
    Q161639
    0 references
    publication date
    4 November 2015
    0 references
    zbMATH DE Number
    6504741
    0 references
     
      Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3449628&oldid=7312304"
      Powered by MediaWiki