Process calculi are ways of formally modeling concurrent computation, somewhat like Lambda Calculus does for computation. We all know the move to move 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 modeling concurrency, Tom will split the time between the formalisms and languages that implement them.
Tom will look at:
- Lambda calculus and Lisp.
- Communicating sequential processes and it’s influence on core.async and Go.
- \pi-calculus and Pict
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 at uSwitch, Mathematician, theatre fan, occasional mountaineer, part time runner, thoroughly nice chap, available in fine bookstores everywhere.