Process calculi for the working programmer

A session at Span

Process calculi are ways of formally modelling concurrent computation, somewhat like Lambda Calculus does for computation. We all know the move to to multicore is making writing programs harder and lots of us are writing distributed systems and having to deal with all the interesting ways programs can fail.

After a brief history of different approaches to modelling concurrency, we will split the time between the formalisms and languages that implement them.

We will look at:

  • Lambda calculus and Lisp.
  • Communicating sequential processes and it’s influence on core.async and Go.
  • \p i-calculus and Pict

While one can easily work a lifetime without knowing this stuff it is stimulating stuff and I hope you enjoy it.

About the speaker

This person is speaking at this event.
Tom Hall

Mathematician, uSwitch

Doing a mixture of Dev and Ops that might be called DevOps, Mathematician, theatre fan, occasional mountaineer, part time runner, thoroughly nice chap, available in fine bookstores everywhere.

Sign in to add slides, notes or videos to this session


England England, London

28th October 2014

Tell your friends!


Date Tue 28th October 2014

Short URL


Official event site


View the schedule


See something wrong?

Report an issue with this session