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
Trace semantics via determinization - MaRDI portal

Trace semantics via determinization (Q2341701)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Trace semantics via determinization
scientific article

    Statements

    title
    Trace semantics via determinization (English)
    0 references
    author
    Bart Jacobs
    0 references
    Alexandra Silva
    0 references
    Ana Sokolova
    0 references
    publication date
    28 April 2015
    0 references
    zbMATH DE Number
    6431467
    0 references
    zbMATH Keywords
    coalgebra
    0 references
    Kleisli category
    0 references
    Eilenberg-Moore category
    0 references
    trace semantics
    0 references
    OpenAlex ID
    W2098962004
    0 references
    cites work
    Q3575369
    0 references
    Q3682648
    0 references
    Q4813222
    0 references
    Q4856547
    0 references
    Alternation
    0 references
    Q3950708
    0 references
    Q5639839
    0 references
    Q2908856
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2341701&oldid=35451941"
    Powered by MediaWiki