A domain equation for bisimulation (Q2639646)

From MaRDI portal
Revision as of 13:12, 21 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
A domain equation for bisimulation
scientific article

    Statements

    title
    A domain equation for bisimulation (English)
    0 references
    author
    Samson Abramsky
    0 references
    publication date
    1991
    0 references
    zbMATH Keywords
    domain equation
    0 references
    concurrency
    0 references
    denotational semantics
    0 references
    domain logic
    0 references
    transition systems
    0 references
    synchronization trees
    0 references
    cites work
    Q3711740
    0 references
    Q3325069
    0 references
    Q3221381
    0 references
    Q4199490
    0 references
    Q3738547
    0 references
    Q3907039
    0 references
    Q3777424
    0 references
    Q3711309
    0 references
    Q3203061
    0 references
    Q4077434
    0 references
    Q3750113
    0 references
    Q3929062
    0 references
    Q3026331
    0 references
    Q4133080
    0 references
    Q3857704
    0 references
    Q3907077
    0 references
    Q3680257
    0 references
    Q3316563
    0 references
    Q3969890
    0 references
    Q3777431
    0 references
    Q3711741
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q10
    0 references
    68Q55
    0 references
    zbMATH DE Number
    4185048
    0 references
    Wikidata QID
    Q57006930
    0 references
    OpenAlex ID
    W1978375202
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2639646&oldid=34843711"
    Powered by MediaWiki