> 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.

Your [comment upthread](https://forum.azimuthproject.org/discussion/comment/17995/#Comment_17995) said, in part
> it is possible to develop multi-agent versions of resource theories, where each agent's (cap-)abilities are described by their own order.

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?

(Please forgive me if it should have been obvious.)

I think the agent capabilities could be described pretty concisely by the processes they can execute. For example, https://en.wikipedia.org/wiki/List_of_manufacturing_processes