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
Completeness and Nondeterminism in Model Checking Transactional Memories - MaRDI portal

Completeness and Nondeterminism in Model Checking Transactional Memories (Q3541009)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Completeness and Nondeterminism in Model Checking Transactional Memories
scientific article

    Statements

    title
    Completeness and Nondeterminism in Model Checking Transactional Memories (English)
    0 references
    author
    Vasu Singh
    0 references
    Rachid Guerraoui
    0 references
    Thomas A. Henzinger
    0 references
    publication date
    25 November 2008
    0 references

    Identifiers

    zbMATH DE Number
    5373062
    0 references
    OpenAlex ID
    W1761177680
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3541009&oldid=35082058"
    Powered by MediaWiki