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
New Bisimulation Semantics for Distributed Systems - MaRDI portal

New Bisimulation Semantics for Distributed Systems (Q3614847)

From MaRDI portal
scientific article
Language Label Description Also known as
English
New Bisimulation Semantics for Distributed Systems
scientific article

    Statements

    New Bisimulation Semantics for Distributed Systems (English)
    0 references
    10 March 2009
    0 references
    0 references
    0 references