Pages that link to "Item:Q1168725"
From MaRDI portal
The following pages link to N-process mutual exclusion with bounded waiting by 4. log//2N-valued shared variable (Q1168725):
Displaying 6 items.
- Efficient test \& set constructions for faulty shared memory (Q287031) (← links)
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- Randomized leader election (Q1954216) (← links)
- Shared-memory mutual exclusion: major research trends since 1986 (Q5138486) (← links)
