## Concurrent Processes - CO406H

### Aims

To learn a basic process algebra (mobility and communication via the pi-calculus)

To learn a basic semantics of the pi-calculus

To learn a basic type theory of the pi-calculus (session types)

To learn applications of the pi-calculus (protocols, distributed and concurrent languages based on communications)

### Role

Course Leader