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