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
Verification of concurrent programs using Petri net unfoldings - MaRDI portal

Verification of concurrent programs using Petri net unfoldings (Q2234071)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verification of concurrent programs using Petri net unfoldings
scientific article

    Statements

    title
    Verification of concurrent programs using Petri net unfoldings (English)
    0 references
    author
    Daniel Dietsch
    0 references
    Matthias Heizmann
    0 references
    Dominik Klumpp
    0 references
    Mehdi Naouar
    0 references
    Andreas Podelski
    0 references
    Claus Schätzle
    0 references
    publication date
    18 October 2021
    0 references
    zbMATH Keywords
    Petri nets
    0 references
    unfoldings
    0 references
    concurrency
    0 references
    verification
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68N19
    0 references
    68Q85
    0 references
    zbMATH DE Number
    7410639
    0 references
    OpenAlex ID
    W3121117370
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2234071&oldid=36722658"
    Powered by MediaWiki