« earlier | later » Page 1 of 1
to parallel pi-calculus pict research ... on 30 January 2005
C2 Wiki entry on the pi-calculus, with some interesting links.
to pi-calculus research ... on 30 January 2005
Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (ResearchIndex)
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
The pi-Calculus in Direct Style - Boudol (ResearchIndex)
to lambda-calculus pi-calculus research ... on 29 January 2005
« earlier | later » Page 1 of 1
- pi-calculus | |
1 | lambda-calculus |
2 | parallel |
4 | pi-calculus |
2 | pict |
4 | research |
tasty by Adam Sampson.