« earlier | later » Page 1 of 1

The Pict Programming Language edit / delete

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) 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

The pi-Calculus in Direct Style - Boudol (ResearchIndex) edit / delete

to lambda-calculus pi-calculus research ... on 29 January 2005

« earlier | later » Page 1 of 1

- pi-calculus | |

1 | + lambda-calculus |

2 | + parallel |

2 | + pict |

4 | + research |

tasty by Adam Sampson.