Synthesizing Code for Resource Controllers | IEEE Journals & Magazine | IEEE Xplore

Synthesizing Code for Resource Controllers


Abstract:

A distributed system is viewed as a set of objects and processes utilizing the objects. If a shared object, known as a resource, is accessed concurrently, some mechanism ...Show More

Abstract:

A distributed system is viewed as a set of objects and processes utilizing the objects. If a shared object, known as a resource, is accessed concurrently, some mechanism is necessary to control use of the resource in order to satisfy the consistency and fairness requirements associated with the resource. These mechanisms are termed resource controllers.
Published in: IEEE Transactions on Software Engineering ( Volume: SE-11, Issue: 8, August 1985)
Page(s): 774 - 783
Date of Publication: 18 September 2006

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.