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
Eager functions as processes - MaRDI portal

Eager functions as processes (Q2123050)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Eager functions as processes
scientific article

    Statements

    title
    Eager functions as processes (English)
    0 references
    author
    Adrien Durier
    0 references
    Daniel Hirschkoff
    0 references
    Davide Sangiorgi
    0 references
    publication date
    7 April 2022
    0 references
    zbMATH Keywords
    call-by-value \(\lambda \)-calculus
    0 references
    \( \pi \)-calculus
    0 references
    behavioural equivalence
    0 references
    full-abstraction
    0 references

    Identifiers

    zbMATH DE Number
    7505203
    0 references
    OpenAlex ID
    W4210298401
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2123050&oldid=36787930"
    Powered by MediaWiki