Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Mutex needs fairness

 
: Kindler, E.; Walter, R.

:

Information processing letters 62 (1997), pp.31-39
ISSN: 0020-0190
English
Journal Article
Fraunhofer ISST ()
distributed systems; fairness; matual exclusion; partial-order semantics; petri net; progress

Abstract
In this paper it is shown that a concept of fairness is actually necessary even to solve the classical mutual exclusion problem. This result justifies a distinction between problems which need fairness assumtions and problems which do not.

: http://publica.fraunhofer.de/documents/PX-25379.html