Adam Sampson's pict bookmarkshttps://bookmarks.offog.org/ats/pictAdam Sampson2005-01-30T11:44:20ZThe Pict Programming Languagehttps://bookmarks.offog.org/edit?url=http%3A%2F%2Fwww.cis.upenn.edu%2F%7Ebcpierce%2Fpapers%2Fpict%2FHtml%2FPict.html2005-01-30T11:44:20Z(No notes.)hall.pihttps://bookmarks.offog.org/edit?url=http%3A%2F%2Flsrwww.epfl.ch%2F%7Epawel%2FExamples%2FPhilosophers%2Fhall.pi2005-01-30T11:44:03ZNomadic Pict implementation of (a slightly different version of) the Dining Philosophers problem.Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (ResearchIndex)https://bookmarks.offog.org/edit?url=http%3A%2F%2Fciteseer.ist.psu.edu%2Fpierce97pict.html2005-01-29T19:53:42ZAs it says. They come up with something that looks a lot like Haskell, with channel communications used for returning values from functions -- very different from occam! They claim pi-calculus precludes process priorities.