I feel like we’re adding graph meta-modeling on top of Tony Hoare CSP. If these graphs were not dags we would be heading into cybernetics. I want to feel like this is novel but can’t escape the idea that the boundaries of a multi-way model are arbitrary.

It also seems like a natural next step for automata modeling.

Maybe I am missing the breakthrough.