• Citer

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

par Devillers, Raymond
Référence Electronic workshops in computing, page (8)
Publication Publié, 2010-07

Article révisé par les pairs

• Accès en ligne
• Détails
• Contenu
• Statistiques

Résumé :

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.