The 2021 Dijkstra Prize Award Committee concluded its deliberations and we are happy to announce that the paper

CCS Expressions, Finite State Processes, and Three Problems of Equivalence,
Paris C. Kanellakis and Scott A. Smolka,
Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing (PODC) 1983,  pp. 228-240

has been selected by the committee to receive the Dijkstra Prize this year. 


The Award Committee 2021: 

Keren Censor-Hillel, Technion (chair)
Pierre Fraigniaud, Université de Paris and CNRS
Cyril Gavoille, LaBRI — Université de Bordeaux
Seth Gilbert, National University of Singapore
Andrzej Pelc, Université du Québec en Outaouais
David Peleg, Weizmann Institute of Science

William K. Moses Jr.
Publicity Chair, PODC 2021

You can unsubscribe at any time through this link: