Statecharts
Kind: algorithm
Record: algorithms:statecharts
Canonical: Algorithms
Closure: Dependencies in load order
Extend a flat state machine with hierarchy and parallel regions, so independent concerns compose without state explosion.
Listed in Algorithm contracts, after Finite State Machine and before Petri Nets.