Hoare is so much more readable than Milner as well, which I think accounts for a large part of why the pi calculus gets ignored. I was at Loughborough and we h

Hoare is so much more readable than Milner as well, which I think accounts for a large part of why the pi calculus gets ignored. I was at Loughborough and we had to do real time systems using occam . . . it was great! The problem with occam (and transputers generally) is they are a bit too static at build time, and so are very fault intolerant, which isn’t great in many real world applications. Consequently I tend to think CSP works in the small and the Actor pattern is better in the large.