Semantics and Implementation of Resource Expressions
Computer Science (HMC)
Resource expressions are high-level specifications of resource control. They can be used to coordinate concurrent access to shared objects, such as files, data bases, etc., or to exercise control over the evaluation of operations that are known to have excessive computational requirements. Resource expressions are similar to path expressions in their syntax and basic approach to specification of constraints, but differ in their semantics. The semantics of resource expressions are based on the concept of execution graphs and residues, and their implementation is based on a set of queueing primitives. The translated program for a resource expression closely reflects the structure of the original resource expression and is therefore highly modular.
Jayaraman, B, Keller, RM. Semantics and implementation of resource expressions. J Para Dist Comp. 1989;7(1) 40-63.