Sheaf semantics for concurrent interacting objects (Q4017459)

From MaRDI portal
Revision as of 02:47, 6 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Sheaf semantics for concurrent interacting objects
scientific article

    Statements

    title
    Sheaf semantics for concurrent interacting objects (English)
    0 references
    author
    Joseph A. Goguen
    0 references
    publication date
    16 January 1993
    0 references
    Mathematics Subject Classification ID
    18F20
    0 references
    68Q10
    0 references
    18A35
    0 references
    zbMATH DE Number
    91490
    0 references
    zbMATH Keywords
    semantics of concurrent systems
    0 references
    observable attributes
    0 references
    interacting concurrent systems
    0 references
    diagrams of sheaves
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4017459&oldid=17719370"
    Powered by MediaWiki