Note

Concurrent programming course. ITMO University, 2023.

├── possible-executions-analysis
├── fine-grained-bank
├── lamport-lock-fail
├── monotonic-clock
├── stack-elimination
├── msqueue
├── faa-queue
├── fc-queue
├── removals-from-the-middle
├── mcs-lock
├── casn
├── dynamic-array
├── hash-table
├── lock-free-bank
├── stm-bank
└── dijkstra