242
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Deadlock Avoidance, Non-Linearity and Games

      proceedings-article
      Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
      1-2 July 2010
      Deadlocks, detection, prevention, avoidance, game interpretation
      Bookmark

            Abstract

            Deadlocks lead to interesting questions and techniques, more subtle than usually thought; that led to some mistakes or difficulties that we shall exhibit. In particular, we shall show how the introduction of an asymmetric game allows to correct a flaw in the deadlock avoidance field.

            Content

            Author and article information

            Contributors
            Conference
            July 2010
            July 2010
            : 1-8
            Affiliations
            [0001]Département d’Informatique, CP212

            Université Libre de Bruxelles

            B-1050 Bruxelles, Belgium
            Article
            10.14236/ewic/VECOS2010.1
            55f1c26b-bf04-4bfb-9cc5-2c904de7db7e
            © Raymond Devillers et al. Published by BCS Learning and Development Ltd. Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010), Paris, France

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            VECOS
            4
            Paris, France
            1-2 July 2010
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2010.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Deadlocks,avoidance,detection,game interpretation,prevention

            Comments

            Comment on this article