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
Syntactic Control of Interference and Concurrent Separation Logic - MaRDI portal

Syntactic Control of Interference and Concurrent Separation Logic (Q3178275)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Syntactic Control of Interference and Concurrent Separation Logic
scientific article

    Statements

    Syntactic Control of Interference and Concurrent Separation Logic (English)
    0 references
    0 references
    8 July 2016
    0 references
    concurrency
    0 references
    shared memory
    0 references
    resources
    0 references
    separation logic
    0 references
    permissions
    0 references

    Identifiers