1. One single future is chosen at every turn and we go down that rabbit hole and never turn back. The author's determinisms all land into here.
2. Explicitly modeled nondeterminism, whereby we execute all the future possibilities (e.g. nondeterministic finite automaton NFA, Mac Carthy's "amb" operator.)
I can't give you a star sticker if you don't mention these, sorry.
1. One single future is chosen at every turn and we go down that rabbit hole and never turn back. The author's determinisms all land into here.
2. Explicitly modeled nondeterminism, whereby we execute all the future possibilities (e.g. nondeterministic finite automaton NFA, Mac Carthy's "amb" operator.)
I can't give you a star sticker if you don't mention these, sorry.