s）以解决这个问题。他同时证明了监视器与信号标（Semaphore）在逻辑上是等价的。
荣誉.1980年，获颁图灵奖。1982年，成为英国皇家学会院士。2000年，因为他在计算机科学与教育方面的杰出贡献，获得英国王室颁赠爵士头衔。2011年，获颁约翰·冯诺依曼奖。