In an email exchange I had with C.A.R. Hoare a couple of years back he said:<p><i>Paradoxically, I have been working on shared variable concurrency, using a partially ordered trace semantics.  Until I retired, I was too frightened to tackle anything so difficult.</i><p>Definitely life after 40, 50, 60, 70, ...