## Pict: a programming language based on the Pi-Calculus

- Benjamin C. Pierce, David N. Turner
- Proof, Language, and Interaction
- 2000

We describe a programming language for distributed computations that supports mobile resources and is based on a process calculus. The syntax, semantics and implementation of the language are presented with a focus on the novel model of computation.

### Presentations referencing similar topics