Deadlock Avoidance, Non-Linearity and Games

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

Raymond Devillers

Conference

Publication date: July 2010

Publication date (Print): July 2010

Pages: 1-8

Affiliations

[0001]Département d’Informatique, CP212

Université Libre de Bruxelles

B-1050 Bruxelles, Belgium

Article

DOI: 10.14236/ewic/VECOS2010.1

SO-VID: 55f1c26b-bf04-4bfb-9cc5-2c904de7db7e

Copyright © © 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

License:

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/

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

Conference acronym: VECOS

Conference number: 4

Conference location: Paris, France

Conference date: 1-2 July 2010

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Verification and Evaluation of Computer and Communication Systems (VECoS 2010)

History

Product

1477-9358 BCS 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/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Deadlock Avoidance, Non-Linearity and Games

Abstract