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
Domain equations for probabilistic processes - MaRDI portal

Domain equations for probabilistic processes (Q2709785)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Domain equations for probabilistic processes
scientific article

    Statements

    Domain equations for probabilistic processes (English)
    0 references
    0 references
    0 references
    21 August 2001
    0 references
    Milner's calculus
    0 references

    Identifiers