Session types for access and information flow control (Q3584933)

From MaRDI portal





scientific article; zbMATH DE number 5776465
Language Label Description Also known as
default for all languages
No label defined
    English
    Session types for access and information flow control
    scientific article; zbMATH DE number 5776465

      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