Pages that link to "Item:Q5138486"
From MaRDI portal
The following pages link to Shared-memory mutual exclusion: major research trends since 1986 (Q5138486):
Displaying 11 items.
- Simple, space-efficient, and fairness improved FCFS mutual exclusion algorithms (Q897371) (← links)
- Towards a real-time distributed computing model (Q1004326) (← links)
- A mutual exclusion algorithm with optimally bounded bypasses (Q1044699) (← links)
- Recoverable mutual exclusion (Q2010612) (← links)
- To compose, or not to compose, that is the question: an analysis of compositional state space generation (Q2024367) (← links)
- A visit to mutual exclusion in seven dates (Q2136281) (← links)
- Reconciling fault-tolerant distributed algorithms and real-time computing (Q2251157) (← links)
- On the inherent weakness of conditional primitives (Q2375295) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- (Q3300815) (← links)
- (Q3300819) (← links)
