|
|
|
|
|
|
by throwawaygo
1534 days ago
|
|
|
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. |
|
|