is a kind of substitution system in which multiple states are permitted at any stage. wolfram
This accommodates rule systems in which there is more than one possible way to perform an update.
A Path through a multiway system arising from a choice of which substitutions to make is called an Evolution. Typically, a multiway system will have a large number of possible evolutions.
See Possibility.