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
Deadlock analysis in networks of communicating processes - MaRDI portal

Deadlock analysis in networks of communicating processes (Q2638755)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Deadlock analysis in networks of communicating processes
scientific article

    Statements

    title
    Deadlock analysis in networks of communicating processes (English)
    0 references
    DOI
    10.1007/BF01784721
    0 references
    author
    Stephen Brookes
    0 references
    A. W. Roscoe
    0 references
    publication date
    1991
    0 references
    zbMATH DE Number
    4182786
    0 references
    zbMATH Keywords
    networks of communicating processes
    0 references
    deadlock
    0 references
    OpenAlex ID
    W3160274653
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2638755&oldid=37187989"
    Powered by MediaWiki