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
Normed BPA vs. Normed BPP Revisited - MaRDI portal

Normed BPA vs. Normed BPP Revisited (Q3541036)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Normed BPA vs. Normed BPP Revisited
scientific article

    Statements

    title
    Normed BPA vs. Normed BPP Revisited (English)
    0 references
    author
    Martin Kot
    0 references
    Zdeněk Sawa
    0 references
    Petr Jančar
    0 references
    publication date
    25 November 2008
    0 references
    zbMATH Keywords
    verification
    0 references
    equivalence checking
    0 references
    bisimulation equivalence
    0 references
    basic process algebra
    0 references
    basic parallel processes
    0 references

    Identifiers

    zbMATH DE Number
    5373090
    0 references
    OpenAlex ID
    W1601052324
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3541036&oldid=35082073"
    Powered by MediaWiki