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.

Congratulations!

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

------
Regards,
William K. Moses Jr.
Publicity Chair, PODC 2021
https://sites.google.com/view/wkmjr

############################

Unsubscribe:

https://optout.acm.org/unsubscribe.cfm?rl=PODC&RE=&UEMAIL;