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
Termination in Impure Concurrent Languages - MaRDI portal

Termination in Impure Concurrent Languages (Q3584940)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Termination in Impure Concurrent Languages
scientific article

    Statements

    title
    Termination in Impure Concurrent Languages (English)
    0 references
    author
    Romain Demangeon
    0 references
    Daniel Hirschkoff
    0 references
    Davide Sangiorgi
    0 references
    publication date
    31 August 2010
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68N18
    0 references
    68N19
    0 references
    zbMATH DE Number
    5776471
    0 references
    OpenAlex ID
    W1532542548
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3584940&oldid=33075981"
    Powered by MediaWiki