Session-typed concurrent contracts (Q5919613)

From MaRDI portal
scientific article; zbMATH DE number 7104912
Language Label Description Also known as
English
Session-typed concurrent contracts
scientific article; zbMATH DE number 7104912

    Statements

    title
    Session-typed concurrent contracts (English)
    0 references
    author
    Hannah Gommerstadt
    0 references
    Limin Jia
    0 references
    Frank Pfenning
    0 references
    publication date
    13 September 2019
    0 references
    zbMATH Keywords
    contracts
    0 references
    session types
    0 references
    monitors
    0 references

    Identifiers

    zbMATH DE Number
    7104912
    0 references
    OpenAlex ID
    W2797310167
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5919613&oldid=32582187"
    Powered by MediaWiki