エドガー・ダイクストラ
Edsger W. Dijkstra
ダイクストラ法
食事する哲学者の問題
銀行家のアルゴリズム
Guarded Command Language
と
述語変換意味論
セマフォ
エドガー・ダイクストラ - Wikipedia