A structural transformation from p-\(\pi\) to MSVL (Q2354315)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A structural transformation from p-\(\pi\) to MSVL
scientific article

    Statements

    A structural transformation from p-\(\pi\) to MSVL (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    10 July 2015
    0 references
    0 references
    process algebra
    0 references
    temporal logic
    0 references
    \(\pi\)-calculus
    0 references
    MSVL
    0 references
    verification
    0 references
    0 references