A simple process algebra based on atomic actions with resources.

Paul Gastin Michael W. Mislove A simple process algebra based on atomic actions with resources. 1-55 2004 14 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129503003943 db/journals/mscs/mscs14.html#GastinM04