Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Deadlock Avoidance, Non-Linearity and Games

    Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

    Paris, France, 1 - 2 July 2010


    Raymond Devillers


    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.


    PDF filePDF Version of this Paper (113kb)