「食事する哲学者の問題」の版間の差分

[[1965年]]、[[エドガー・ダイクストラ]]は5台のコンピュータが5台のテープ装置に競合アクセスするという同期問題を提示した。間もなく、この問題は[[アントニー・ホーア]]によって「食事する哲学者の問題」に変形して語られることとなった<ref>[[エドガー・ダイクストラ|Dijkstra, Edsger W.]] ''EWD-1000.'' E.W. Dijkstra Archive. Center for American History, [[テキサス大学オースティン校|University of Texas at Austin.]] ([http://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1000.PDF original]; [http://www.cs.utexas.edu/users/EWD/transcriptions/EWD10xx/EWD1000.html transcription])</ref><ref>{{Cite book|author1=J. Díaz|author2=I. Ramos|title=Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19–25, 1981. Proceedings |url= https://books.google.co.jp/books?id=pl4VJKQlcG4C&redir_esc=y&hl=ja |year=1981 |publisher=Birkhäuser |isbn=978-3-540-10699-9 |pages=[httphttps://books.google.com.ph/books?id=pl4VJKQlcG4C&pg=PA323 323 ], [httphttps://books.google.com.ph/books?id=pl4VJKQlcG4C&pg=PA326 326]}}</ref><ref>{{Cite web|url= http://www.usingcsp.com/cspbook.pdf|title=Communicating Sequential Processes|last=Hoare|first=C. A. R.|publisher=[http://www.usingcsp.com/ usingcsp.com] (originally published in 1985 by Prentice Hall International)|year=2004|accessdate=2012-07-16}}</ref>。