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