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