SHERBROOKE Algebraic State Transition Diagrams

Abstract

This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel composition, quantified choice and quantified synchronization. It is inspired from automata, statecharts and process algebras… (More)

Topics

16 Figures and Tables