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
Static Analysis of Communicating Processes Using Symbolic Transducers - MaRDI portal

Static Analysis of Communicating Processes Using Symbolic Transducers (Q2961555)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Static Analysis of Communicating Processes Using Symbolic Transducers
scientific article

    Statements

    title
    Static Analysis of Communicating Processes Using Symbolic Transducers (English)
    0 references
    author
    Vincent Botbol
    0 references
    Emmanuel Chailloux
    0 references
    Tristan Le Gall
    0 references
    publication date
    21 February 2017
    0 references
    describes a project that uses
    Checkmate
    0 references
    Frama-C
    0 references
    ISP
    0 references
    Apron
    0 references
    MPI
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q60
    0 references
    68N30
    0 references
    68Q45
    0 references
    68Q85
    0 references
    zbMATH DE Number
    6687351
    0 references
    OpenAlex ID
    W2549993418
    0 references
    arXiv ID
    1611.07812
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2961555&oldid=36307314"
    Powered by MediaWiki