The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - August (1985 vol.11)
pp: 774-783
K. Ramamritham , Department of Computer and Information Science, University of Massachusetts
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.
INDEX TERMS
temporal logic, Shared resources, specification, synchronization, synthesis
CITATION
K. Ramamritham, "Synthesizing Code for Resource Controllers", IEEE Transactions on Software Engineering, vol.11, no. 8, pp. 774-783, August 1985, doi:10.1109/TSE.1985.232526
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool