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
Extending the \(\mu\)log framework with local and conditional blackboard operations - MaRDI portal

Extending the \(\mu\)log framework with local and conditional blackboard operations (Q2365136)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending the \(\mu\)log framework with local and conditional blackboard operations
scientific article

    Statements

    Extending the \(\mu\)log framework with local and conditional blackboard operations (English)
    0 references
    0 references
    0 references
    25 August 1997
    0 references
    operational semantics
    0 references

    Identifiers