2 ms·The Playbook and Play-Engine Site (2003)1 points by turtleyacht 7mo agoturtleyacht 7mo agoFrom David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.