Similar to TLA+
食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock同期 (計算機科学)
Synchronization (computer science)投機的実行
Speculative execution排他制御
Mutual exclusion並行性制御
Concurrency control並行論理プログラミング言語
マルチプロセッシング
Multiprocessingメモリモデル (プログラミング)
Memory model (programming)ライブネス
Livenessリソーススタベーション
Starvation (computer science)