Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case (Q5347802)

From MaRDI portal





scientific article; zbMATH DE number 6765339
Language Label Description Also known as
default for all languages
No label defined
    English
    Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
    scientific article; zbMATH DE number 6765339

      Statements

      Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      25 August 2017
      0 references

      Identifiers