3 ms·From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.by turtleyacht 7mo agoFrom David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.