Consensus
Algorithm
Mutual exclusion
Parallel computing
Test-and-set
Pi
Linearizability
Lock
Distributed computing
Concurrency control
Mathematics
Mathematical analysis