The following pages link to Equivalences of Statecharts (Q6162113):
Displaying 7 items.
- Constructive semantics for instantaneous reactions (Q631753) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
- A problem-decomposition method using differences or equivalence relations between states (Q1058310) (← links)
- A compositional \(\mu\)-calculus proof system for statecharts processes (Q1285661) (← links)
- On disjunction of literals in triggers of statecharts transitions. (Q1853160) (← links)
- A comparison of Statecharts step semantics (Q1853596) (← links)
- Statecharts, transition structures and transformations (Q5096749) (← links)