Persistent Stochastic Non-Interference (Q5158656)

From MaRDI portal
Revision as of 12:07, 30 July 2024 by Openalex240730090724 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 7413810
Language Label Description Also known as
English
Persistent Stochastic Non-Interference
scientific article; zbMATH DE number 7413810

    Statements

    Persistent Stochastic Non-Interference (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    25 October 2021
    0 references
    0 references
    process algebra
    0 references
    non-interference
    0 references
    stochastic models
    0 references
    0 references