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
Analyzing Asynchronous Programs with Preemption - MaRDI portal

Analyzing Asynchronous Programs with Preemption (Q3165945)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Analyzing Asynchronous Programs with Preemption
scientific article

    Statements

    author
    Mohamed Faouzi Atig
    0 references
    Ahmed Bouajjani
    0 references
    Tayssir Touili
    0 references
    publication date
    19 October 2012
    0 references
    zbMATH Keywords
    multiset pushdown systems
    0 references
    multithreaded asynchronous programs
    0 references
    program verification
    0 references
    verification algorithms
    0 references
    title
    Analyzing Asynchronous Programs with Preemption (English)
    0 references

    Identifiers

    zbMATH DE Number
    6096475
    0 references
    OpenAlex ID
    W1590145945
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3165945&oldid=39275368"
    Powered by MediaWiki