Editing Dining philosophers problem (section)

==External links==
*[http://laser.cs.umass.edu/verification-examples/dp_standard/dp.html Discussion of the problem with solution code for 2 or 4 philosophers] {{Webarchive|url=https://web.archive.org/web/20110720085731/http://laser.cs.umass.edu/verification-examples/dp_standard/dp.html |date=2011-07-20 }}
*{{webarchive |url=https://web.archive.org/web/20131208203319/http://web.eecs.utk.edu/~plank/plank/classes/cs560/560/notes/Dphil/lecture.html |date=December 8, 2013 |title=Discussion of various solutions }}
*{{webarchive |url=https://web.archive.org/web/20120304070702/http://web.eecs.utk.edu/~plank/plank/classes/cs560/560/notes/CBThread_Dphil/ |date=March 4, 2012 |title=Discussion of a solution using continuation based threads (cbthreads) }}
* [https://github.com/tlaplus/Examples/blob/master/specifications/DiningPhilosophers/DiningPhilosophers.tla Formal specification of the Chandy-Misra solution written in TLA+]
*[https://www.cs.purdue.edu/homes/clifton/cs603/Philosophers.ppt Distributed symmetric solutions]
*[https://web.archive.org/web/20070323021108/http://jason.mchu.com/SDP/index.html Programming the Dining Philosophers with Simulation]
*[//www.doc.ic.ac.uk/~jnm/concurrency/classes/Diners/Diners.html Interactive example] of the Philosophers problem ([https://web.archive.org/web/20060108210045/http://jdl.sun.com/webapps/getjava/BrowserRedirect?locale=en&host=www.java.com:80 Java] required)
*[http://www.crockford.com/ec/dining.html Satan Comes to Dinner]
*[//www.cs.kent.ac.uk/projects/ofa/java-threads/0.html Wot No Chickens?] – [[Peter H. Welch]] proposed the Starving Philosophers variant that demonstrates an unfortunate consequence of the behaviour of Java thread monitors is to make [[Resource starvation|thread starvation]] more likely than strictly necessary.
*[//www.cs.mtu.edu/~shene/NSF-3/e-Book/MUTEX/TM-example-philos-1.html ThreadMentor]
*[http://msdn.microsoft.com/en-us/magazine/dd882512.aspx Solving The Dining Philosophers Problem With Asynchronous Agents]
*[http://java-is-the-new-c.blogspot.de/2014/09/breaking-habit-solving-dining.html Solution using Actors]

{{Concurrent computing}}

{{DEFAULTSORT:Dining Philosophers Problem}}
[[Category:1965 introductions]]
[[Category:Concurrency (computer science)]]
[[Category:Computational problems]]
[[Category:Edsger W. Dijkstra]]
[[Category:Problems in computer science]]
[[Category:Thought experiments]]
[[Category:Dutch inventions]]