Cary, NC (May 18, 2021) -- Reactive Systems co-founder and Director Scott Smolka was recently awarded the Edsger W. Dijkstra Prize in Distributed Computing. The award to Smolka and Paris C. Kanellakis was in recognition of their paper CCS Expressions, Finite State Processes, and Three Problems of Equivalence which was published in Information and Computation in 1990. For a summary of the contributions of the work, see the award announcement.
About Reactive Systems. Reactive Systems, founded in 1999, is a
software testing and validation company with offices in Cary, NC and
Nagoya, Japan. The Company develops the Reactis family of tools that
support the test and debug of embedded software applications developed
using Simulink, Stateflow®, and C code.