Similar to 食事する哲学者の問題
Goto文
GotoGuarded Command Language
Guarded Command LanguageTHEマルチプログラミングシステム
THE multiprogramming system関心の分離
Separation of concerns銀行家のアルゴリズム
Banker's algorithm述語変換意味論
Predicate transformer semantics操車場アルゴリズム
Shunting yard algorithmソフトウェア危機
Software crisisダイクストラ法
Dijkstra's algorithmデッカーのアルゴリズム
Dekker's algorithmプリム法
Prim's algorithm並行計算
Concurrent computing