The Playbook and Play-Engine Site (2003)
wisdom.weizmann.ac.ilFrom David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.
From David Harel, author of Algorithmics, Dynamic Logic, and Modeling Reactive Systems with Statecharts.