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
Global types with internal delegation - MaRDI portal

Global types with internal delegation (Q2286741)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Global types with internal delegation
scientific article

    Statements

    title
    Global types with internal delegation (English)
    0 references
    author
    Ilaria Castellani
    0 references
    Paola Giannini
    0 references
    Ross Horne
    0 references
    publication date
    22 January 2020
    0 references
    zbMATH Keywords
    communication-centric systems
    0 references
    process calculi
    0 references
    multiparty session types
    0 references
    cites work
    Q4963910
    0 references
    Q4937113
    0 references
    Q4964693
    0 references
    Q2778806
    0 references

    Identifiers

    zbMATH DE Number
    7155400
    0 references
    OpenAlex ID
    W2977241542
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2286741&oldid=38988502"
    Powered by MediaWiki