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