Precise subtyping for synchronous multiparty sessions (Q2423747)

From MaRDI portal
Revision as of 06:53, 19 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Precise subtyping for synchronous multiparty sessions
scientific article

    Statements

    title
    Precise subtyping for synchronous multiparty sessions (English)
    0 references
    author
    Silvia Ghilezan
    0 references
    Svetlana Jakšić
    0 references
    Jovanka Pantović
    0 references
    Alceste Scalas
    0 references
    Nobuko Yoshida
    0 references
    publication date
    20 June 2019
    0 references
    zbMATH Keywords
    concurrency
    0 references
    process calculi
    0 references
    multiparty session types
    0 references
    subtyping
    0 references

    Identifiers

    zbMATH DE Number
    7069231
    0 references
    OpenAlex ID
    W2963326822
    0 references
    arXiv ID
    1602.03593
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2423747&oldid=33519278"
    Powered by MediaWiki