Similar to ソフトウェア危機
Guarded Command Language
Guarded Command LanguageTHEマルチプログラミングシステム
THE multiprogramming system居眠り床屋問題
Sleeping barber problem関心の分離
Separation of concerns銀行家のアルゴリズム
Banker's algorithm述語変換意味論
Predicate transformer semantics食事する哲学者の問題
Dining philosophers problem操車場アルゴリズム
Shunting yard algorithmダイクストラ法
Dijkstra's algorithmデッカーのアルゴリズム
Dekker's algorithmデッドロック
Deadlock (computer science)排他制御
Mutual exclusionプリム法
Prim's algorithm並行計算
Concurrent computing並行性
Concurrency (computer science)