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