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
Compositional verification of asynchronous concurrent systems using CADP - MaRDI portal

Compositional verification of asynchronous concurrent systems using CADP (Q2350492)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compositional verification of asynchronous concurrent systems using CADP
scientific article

    Statements

    title
    Compositional verification of asynchronous concurrent systems using CADP (English)
    0 references
    author
    Hubert Garavel
    0 references
    Frédéric Lang
    0 references
    Radu Mateescu
    0 references
    publication date
    24 June 2015
    0 references
    describes a project that uses
    LTSmin
    0 references
    E-LOTOS
    0 references
    LNT2LOTOS
    0 references
    CADP
    0 references
    Exp.Open
    0 references
    CAESAR_SOLVE
    0 references
    fc2tools
    0 references
    FDR3
    0 references
    CMC
    0 references
    cites work
    Q2760240
    0 references
    Q4472249
    0 references
    Q5322945
    0 references
    Q4417935
    0 references
    Q2746874
    0 references
    Q4036555
    0 references
    Q2760241
    0 references
    Q2754097
    0 references
    Q4885877
    0 references
    Q4942013
    0 references
    Q4037108
    0 references
    Q4037383
    0 references
    Q4038723
    0 references
    Q4284985
    0 references
    Q4037390
    0 references
    Q3998266
    0 references
    Q4733386
    0 references
    Q4472262
    0 references
    Q3792217
    0 references
    Q4240122
    0 references
    Q4002642
    0 references
    Q4518897
    0 references
    Q3992568
    0 references
    Q4248252
    0 references
    Q4494387
    0 references
    Q3907077
    0 references
    Q4364391
    0 references
    Q4733423
    0 references
    Q4037087
    0 references
    Q2760238
    0 references

    Identifiers

    zbMATH DE Number
    6449989
    0 references
    OpenAlex ID
    W1968049993
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2350492&oldid=35881282"
    Powered by MediaWiki