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