Arbitration without common modifiable variables

DOI10.1007/BF00288966zbMath0468.90006OpenAlexW2034343921MaRDI QIDQ1156675

Joep L. W. Kessels

Publication date: 1982

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00288966

zbMATH Keywords

progressfairnessconsistencyarbitrationmutual exclusioncritical regionmodifiable variables

Mathematics Subject Classification ID

Decision theory (91B06)

Related Items (7)

A visit to mutual exclusion in seven dates ⋮ Tournaments for mutual exclusion: verification and concurrent complexity ⋮ Nonatomic mutual exclusion with local spinning ⋮ Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms ⋮ A fast, scalable mutual exclusion algorithm ⋮ Shared-memory mutual exclusion: major research trends since 1986 ⋮ Recoverable mutual exclusion

Cites Work

• Myths about the mutual exclusion problem

This page was built for publication: Arbitration without common modifiable variables