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