Tour of 1985 formal proof of a limit on asynchronous processes (won Dijkstra award)hnr.dnsalias.net·4 pts·13ren·5