Arbitration without common modifiable variables

DOI10.1007/BF00288966MaRDI QIDQ1156675zbMATH OpenOpenAlexFDO

Authors 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

arbitrationconsistencycritical regionfairnessmodifiable variablesmutual exclusionprogress

Mathematics Subject Classification ID

Decision theory (91B06)

Cites work

• Myths about the mutual exclusion problem

Cited in

(9)

• Tournaments for mutual exclusion: verification and concurrent complexity
• Nonatomic mutual exclusion with local spinning
• Recoverable mutual exclusion
• A visit to mutual exclusion in seven dates
• 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
• Threshold graphs and synchronization protocols
• Just verification of mutual exclusion algorithms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1156675)