Deadlock Avoidance, Non-Linearity and Games: Invited paper, Verification and Evaluation of Computer and Communication Systems (VECoS '2010)

Deadlocks lead to interesting questions and techniques, more subtile 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.