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
Reversing algebraic process calculi - MaRDI portal

Reversing algebraic process calculi (Q2643334)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Reversing algebraic process calculi
scientific article

    Statements

    title
    Reversing algebraic process calculi (English)
    0 references
    author
    Iain Phillips
    0 references
    Irek Ulidowski
    0 references
    publication date
    23 August 2007
    0 references
    zbMATH DE Number
    5182399
    0 references
    zbMATH Keywords
    reversible computation
    0 references
    structural operational semantics
    0 references
    formats of SOS rules
    0 references
    CCS with keys
    0 references
    forward-reverse bisimulation
    0 references
    congruence result
    0 references
    OpenAlex ID
    W2059141487
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2643334&oldid=34986240"
    Powered by MediaWiki