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
An Event Structure Model for Probabilistic Concurrent Kleene Algebra - MaRDI portal

An Event Structure Model for Probabilistic Concurrent Kleene Algebra (Q2870160)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Event Structure Model for Probabilistic Concurrent Kleene Algebra
scientific article

    Statements

    title
    An Event Structure Model for Probabilistic Concurrent Kleene Algebra (English)
    0 references
    author
    Tahiry Rabehaja
    0 references
    Georg Struth
    0 references
    Annabelle McIver
    0 references
    publication date
    17 January 2014
    0 references

    Identifiers

    zbMATH DE Number
    6247465
    0 references
    OpenAlex ID
    W1650412348
    0 references
    arXiv ID
    1310.2320
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2870160&oldid=33563642"
    Powered by MediaWiki