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
The Equational Theory of Weak Complete Simulation Semantics over BCCSP - MaRDI portal

The Equational Theory of Weak Complete Simulation Semantics over BCCSP (Q2891363)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The Equational Theory of Weak Complete Simulation Semantics over BCCSP
scientific article

    Statements

    The Equational Theory of Weak Complete Simulation Semantics over BCCSP (English)
    0 references
    0 references
    0 references
    0 references
    15 June 2012
    0 references

    Identifiers