Parallel Programming Possible Executions Analysis Stack with Elimination Michael-Scott Lock-Free Queue Fine-Grained Locking Lock-Free Set via Linked Lists Parallel Dijkstra with Multi-Queue Monotonic Clock Universal Construction MCS Lock FAA-Based Lock-Free Queue Synchronous Queue Lock-Free Bank STM Bank Blocking Stack Distributed Systems Distributed Mutex Distributed FIFO Distributed Consensus Error