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
Semantics of communicating processes - MaRDI portal

Semantics of communicating processes (Q3719813)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semantics of communicating processes
scientific article

    Statements

    title
    Semantics of communicating processes (English)
    0 references
    author
    Manfred Broy
    0 references
    publication date
    1984
    0 references
    zbMATH Keywords
    communicating processes
    0 references
    operational semantics
    0 references
    term rewriting rules
    0 references
    fully abstract denotational semantics
    0 references
    observable behavior
    0 references
    advanced fixed point theory
    0 references

    Identifiers

    zbMATH DE Number
    3949695
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3719813&oldid=28189040"
    Powered by MediaWiki