2018 Edsger W. Dijkstra Prize in Distributed Computing
The 2018 Edsger W. Dijkstra Prize in Distributed Computing goes to Bowen Alpern and Fred B. Schneider for their paper: Defining liveness, published in Information Processing Letters 21(4), October 1985.