Deadlock Avoidance, Non-Linearity and Games
Raymond Devillers · Electronic workshops in computing · 2010
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.