On Intransitive Non-interference in Some Models of Concurrency (Q3092180)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Intransitive Non-interference in Some Models of Concurrency
scientific article

    Statements

    Identifiers