Formuló la relación "ocurrido antes" (happened before), importante en relojes lógicos de sistemas distribuidos, ya que permite obtener una ordenación parcial, con la que obtiene en el año 2000 el Premio Dijkstra.