Re: I wish him well
Having used Occam for several years to build quite large code bases (thanks Edinburgh SCC) I must disagree. It was a relatively low level language (in terms of base abstractions) but it was no more an assembly language than C is. The problem - a fundamental one is that of understanding the behaviour of codes of any real complexity. Hence the ongoing problems of maintenenance, re-use and tuning.
Few - actually I would say no programmers can get their heads around even moderately complex parallel systems in terms of their structure and behaviour.
In terms of CS, well I am sure that some might argue that it was mathematics, rather than engineering (in that most of the efforts to take pure and relatively simple structures and engineer real complex systems did not demonstrate leaps forward on the experiment, model, change loop). But I'm not suggesting that there was a lot of very good work, just that it seems to have been a dead end. As was other fascinating concurrent work on things like lazy evaluation systems.
A lot of extremely smart people have tried to push the work forward, but with limited success.
Even competing work (such as Robin Milners CCS - Milner as also awarded a Turing award as well as Hoare, so the work is not exactly obscure) has had limited, but IMHO more widespread influence on the understandability of concurrent systems.