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