Concurrency
Linearizability
Non-blocking algorithm
Mutual exclusion
Maurice Herlihy
Herlihy
Thread
Queue
FIFO
Concurrency control
Computing
Concurrent computing