Kleene's (unary) star in nondeterministic context.

Trees plays with respect to processes the same role as languages do w.r.t. automata. Formally, nondeterministic processes are tree-emriched categories as automata are language-enriched categories