hall.pi edit / delete

Nomadic Pict implementation of (a slightly different version of) the Dining Philosophers problem.

to pict research ... on 30 January 2005

Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (ResearchIndex) edit / delete

As 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.

to parallel pi-calculus pict research ... on 29 January 2005

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to pict

- pict
2 + parallel
2 + pi-calculus
3 + research