[Tobias](https://forum.azimuthproject.org/discussion/comment/18021/#Comment_18021)
> I can imagine resource theory to play a part in such a framework, probably together with other components like some kind of powerful higher-order process calculus

I can, too. That's what brought me to this class.

What I am missing in general in these resource flow notations is the representation of the method/process of getting from one resource to another \$$x \leq y\$$ - like, how do you get y from x?