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
Protocol Verification via Projections - MaRDI portal

Protocol Verification via Projections (Q3345755)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Protocol Verification via Projections
scientific article

    Statements

    title
    Protocol Verification via Projections (English)
    0 references
    author
    Simon S. Lam
    0 references
    A. Udaya Shankar
    0 references
    publication date
    1984
    0 references
    zbMATH DE Number
    3880090
    0 references
    zbMATH Keywords
    protocol verification
    0 references
    communicating processes
    0 references
    communication protocols
    0 references
    distributed systems
    0 references
    message-passing networks
    0 references
    protocol analysis
    0 references
    high- level data link control
    0 references
    HDLC
    0 references
    OpenAlex ID
    W2039853888
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3345755&oldid=37436539"
    Powered by MediaWiki