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
Relational presheaves, change of base and weak simulation - MaRDI portal

Relational presheaves, change of base and weak simulation (Q2341703)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Relational presheaves, change of base and weak simulation
scientific article

    Statements

    Relational presheaves, change of base and weak simulation (English)
    0 references
    0 references
    28 April 2015
    0 references
    labelled transition systems
    0 references
    simulation
    0 references
    weak simulation
    0 references
    relational presheaves
    0 references
    category theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers