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
Quotienting the Delay Monad by Weak Bisimilarity - MaRDI portal

Quotienting the Delay Monad by Weak Bisimilarity (Q2787419)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Quotienting the Delay Monad by Weak Bisimilarity
scientific article

    Statements

    title
    Quotienting the Delay Monad by Weak Bisimilarity (English)
    0 references
    author
    James T. E. Chapman
    0 references
    Tarmo Uustalu
    0 references
    Niccolò Veltri
    0 references
    publication date
    25 February 2016
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q65
    0 references
    03B15
    0 references
    68N18
    0 references
    68Q55
    0 references
    68T15
    0 references
    zbMATH DE Number
    6545723
    0 references
    OpenAlex ID
    W2255188432
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2787419&oldid=31140633"
    Powered by MediaWiki