Revisiting sequential composition in process calculi (Q890611)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Revisiting sequential composition in process calculi
scientific article

    Statements

    title
    Revisiting sequential composition in process calculi (English)
    0 references
    author
    Hubert Garavel
    0 references
    publication date
    10 November 2015
    0 references
    zbMATH DE Number
    6506925
    0 references
    zbMATH Keywords
    concurrency theory
    0 references
    formal specification
    0 references
    formal semantics
    0 references
    process algebra
    0 references
    process calculus
    0 references
    sequential composition
    0 references
    describes a project that uses
    MoDeST
    0 references
    LOTOS
    0 references
    CADP
    0 references
    FDR2
    0 references
    FDR3
    0 references
    mCRL2
    0 references
    E-LOTOS
    0 references
    Fiacre
    0 references
    LNT2LOTOS
    0 references
    OpenAlex ID
    W1411866384
    0 references
    cites work
    Q3992568
    0 references
    Q3777424
    0 references
    Process Algebra
    0 references
    Q4941495
    0 references
    Q3485879
    0 references
    PSF - A Retrospective
    0 references
    Q3191614
    0 references
    Q4222918
    0 references
    Q2760253
    0 references
    Q2760242
    0 references
    Q5186720
    0 references
    Q3776606
    0 references
    Q4738368
    0 references
    Q3994745
    0 references
    Q3680259
    0 references
    Q4268485
    0 references
    Q4798036
    0 references
    Q4942013
    0 references
    Q3657409
    0 references
    Q4992500
    0 references
    Q4422085
    0 references
    Q3355228
    0 references
    Q4038693
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q890611&oldid=36212255"
    Powered by MediaWiki