2021 Edsger W. Dijkstra Prize in Distributed Computing

The 2021 Edsger W. Dijkstra Prize in Distributed Computing was awarded to Paris C. Kanellakis and Scott A. Smolka for their paper: CCS Expressions, Finite State Processes, and Three Problems of Equivalence, Information and Computation, Volume 86, Issue 1, pages 43–68, 1990.  Smolka is the Lead PI and Director of the CyberCardia NSF CPS Frontiers project.  Further details are available from  https://www.podc.org/2021-edsger-w-dijkstra-prize-in-distributed-computing/