Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Precise subtyping for synchronous multiparty sessions - MaRDI portal

Precise subtyping for synchronous multiparty sessions (Q2423747)

From MaRDI portal
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
    cites work
    Q5278078
    0 references
    Semantic subtyping
    0 references
    Q3992568
    0 references
    Barbed bisimulation
    0 references
    Q2778806
    0 references
    Q3837262
    0 references
    Q2734510
    0 references
    Computer Science Logic
    0 references

    Identifiers

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