So, a probability driven dynamic call-stack FSM.
I have seen this concept used in many ways before without the fanfare (i.e : code coverage/test suites and game A.I Engines)
It is indeed a cool approach and no doubt deeply inspired. Rip apart the traditional program execution model and add statistical branching ...