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