Similar to Communicating_Sequential_Processes
ループ不変条件
Loop invariant
論理プログラミング
Logic programming
セーフティクリティカルシステム
Safety-critical systemデッドアンロックシステム
並行性
Concurrency (computer science)
ABA問題
ABA problem
一貫性モデル (ソフトウェア)
Consistency model
居眠り床屋問題
Sleeping barber problem
競合状態
Race conditionグローバルインタプリタロック
Global interpreter lock
食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)
同期 (計算機科学)
Synchronization (computer science)
投機的実行
Speculative execution
排他制御
Mutual exclusion
並行性制御
Concurrency control
並行論理プログラミング言語
マルチプロセッシング
Multiprocessing
メモリモデル (プログラミング)
Memory model (programming)ライブネス
Livenessリソーススタベーション
Starvation (computer science)
Wikipedia:井戸端/subj/芸能人の本名は原則非記載とすべきでは
Wikipedia:井戸端/subj/権利関係が不明な写真の添付
Wikipedia:井戸端/subj/テレビ局の制作スタッフなどの記事は不適当では?
Wikipedia:井戸端/subj/ウィキペディア日本語版の会計情報
Wikipedia:井戸端/subj/文字の画像の著作権
Wikipedia:井戸端/subj/出典の適格性
Wikipedia:井戸端/subj/アルファベットが連続する人名の区切り文字について
