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
Asynchronous Traces and Open Petri Nets - MaRDI portal

Asynchronous Traces and Open Petri Nets (Q3460864)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Asynchronous Traces and Open Petri Nets
scientific article

    Statements

    title
    Asynchronous Traces and Open Petri Nets (English)
    0 references
    author
    Paolo Baldan
    0 references
    Filippo Bonchi
    0 references
    Fabio Gadducci
    0 references
    publication date
    8 January 2016
    0 references
    zbMATH Keywords
    asynchronous CCS
    0 references
    (open) Petri nets
    0 references
    modular encoding
    0 references
    may testing
    0 references
    trace semantics
    0 references

    Identifiers

    zbMATH DE Number
    6527833
    0 references
    OpenAlex ID
    W2293205391
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3460864&oldid=36222613"
    Powered by MediaWiki