Edsger W. Dijkstra Prize in Distributed Computing