A model of cooperative threads (Q5261503)

From MaRDI portal
scientific article; zbMATH DE number 6455598
Language Label Description Also known as
English
A model of cooperative threads
scientific article; zbMATH DE number 6455598

    Statements

    title
    A model of cooperative threads (English)
    0 references
    author
    Martín Abadi
    0 references
    Gordon D. Plotkin
    0 references
    publication date
    3 July 2015
    0 references
    zbMATH Keywords
    denotational semantics
    0 references
    monad
    0 references
    operational semantics
    0 references
    transaction
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    68N15
    0 references
    68N19
    0 references
    68Q55
    0 references
    zbMATH DE Number
    6455598
    0 references
    OpenAlex ID
    W1995065158
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5261503&oldid=32686177"
    Powered by MediaWiki