… Finite state machines are a widely used concept for specifying the behavior of reactive systems. Numerous graphical notations based on finite state machines …, Harel statecharts, and Unified Modeling Language (UML) state machine diagrams …Cross Talk, The Journal of defense Software Engineering, , March 2008.
… Abstract State Machines, Prolog, and Scheme are well-established for language …. In this paper, we discuss in detail the bridging of Abstract State Machines … Machines, Prolog, and Scheme as description languages in EProvide 2.0, an extensible …TOOLS 2009:
… . This merge protocol is given first as state machine and second as a set of graph rewrite rules that imitate the state machine. The task is to compute a reachability …TTC 2010: