Session Types for Access and Information Flow Control (Q3584933)

From MaRDI portal
Revision as of 03:03, 5 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Session Types for Access and Information Flow Control
scientific article

    Statements

    Session Types for Access and Information Flow Control (English)
    0 references
    0 references
    0 references
    0 references
    31 August 2010
    0 references
    concurrency
    0 references
    communication-centred computing
    0 references
    session types
    0 references
    access control
    0 references
    secure information flow
    0 references

    Identifiers