Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call