Category:並行性
排他制御
Mutual exclusion投機的実行
Speculative executionプロセス計算
Process calculusペトリネット
Petri net並行性
Concurrency (computer science)マルチプロセッシング
Multiprocessingリソーススタベーション
Starvation (computer science)デッドアンロックシステム
並行論理プログラミング言語
ABA問題
ABA problemCommunicating Sequential Processes
Communicating sequential processesTLA+
TLA+一貫性モデル (ソフトウェア)
Consistency model同期 (計算機科学)
Synchronization (computer science)メモリモデル (プログラミング)
Memory model (programming)並行性制御
Concurrency controlライブネス
Liveness居眠り床屋問題
Sleeping barber problemグローバルインタプリタロック
Global interpreter lockアクターモデル
Actor model競合状態
Race condition食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock