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:
While one can easily work a lifetime without knowing this stuff it is stimulating stuff and I hope you enjoy it.
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