This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Synthesizing Code for Resource Controllers
August 1985 (vol. 11 no. 8)
pp. 774-783
K. Ramamritham, Department of Computer and Information Science, University of Massachusetts
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, Aug. 1985, doi:10.1109/TSE.1985.232526
Usage of this product signifies your acceptance of the Terms of Use.