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
Full Abstraction for Fair Testing in CCS - MaRDI portal

Full Abstraction for Fair Testing in CCS (Q2848947)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Full Abstraction for Fair Testing in CCS
scientific article

    Statements

    title
    Full Abstraction for Fair Testing in CCS (English)
    0 references
    author
    Tom Hirschowitz
    0 references
    publication date
    13 September 2013
    0 references
    zbMATH Keywords
    programming languages
    0 references
    categorical semantics
    0 references
    presheaf semantics
    0 references
    game semantics
    0 references
    concurrency
    0 references
    process algebra
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q55
    0 references
    68Q65
    0 references
    zbMATH DE Number
    6208116
    0 references
    OpenAlex ID
    W1890822632
    0 references
    arXiv ID
    1305.6184
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2848947&oldid=33560832"
    Powered by MediaWiki