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
Distinguishing between communicating transactions - MaRDI portal

Distinguishing between communicating transactions (Q1706141)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Distinguishing between communicating transactions
scientific article

    Statements

    title
    Distinguishing between communicating transactions (English)
    0 references
    author
    Vasileios Koutavas
    0 references
    Maciej Gazda
    0 references
    Matthew C. B. Hennessy
    0 references
    publication date
    21 March 2018
    0 references
    zbMATH Keywords
    non-isolated transactions
    0 references
    communicating transactions
    0 references
    Hennessy-Milner logic
    0 references
    bisimulation
    0 references

    Identifiers

    zbMATH DE Number
    6851677
    0 references
    OpenAlex ID
    W2601905883
    0 references
    arXiv ID
    1703.03256
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1706141&oldid=36379835"
    Powered by MediaWiki