revTPL: The Reversible Temporal Process Language (Q6151560)

From MaRDI portal
scientific article; zbMATH DE number 7814919
Language Label Description Also known as
English
revTPL: The Reversible Temporal Process Language
scientific article; zbMATH DE number 7814919

    Statements

    revTPL: The Reversible Temporal Process Language (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    11 March 2024
    0 references
    0 references
    reversible computing
    0 references
    timed systems
    0 references
    process calculi
    0 references
    operational semantics
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references