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