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
Classifying invariant structures of step traces - MaRDI portal

Classifying invariant structures of step traces (Q2424691)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Classifying invariant structures of step traces
scientific article

    Statements

    Classifying invariant structures of step traces (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    25 June 2019
    0 references
    trace
    0 references
    independence
    0 references
    partial order
    0 references
    interleaving
    0 references
    trace of step sequences
    0 references
    simultaneity
    0 references
    sequentialisation
    0 references
    serialisability
    0 references
    invariant structure
    0 references

    Identifiers