Notice that it doesn’t have to be states. Supposing you model events (call them ev_i) using the reified-event idiom, you may describe a sequence of “instructions” (that is, events):
run { some ev_1; some ev_3; some ev_7 }
Notice that it doesn’t have to be states. Supposing you model events (call them ev_i) using the reified-event idiom, you may describe a sequence of “instructions” (that is, events):
run { some ev_1; some ev_3; some ev_7 }