Synthesizing Code for Resource Controllers

1 August 1985

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering

Vol. SE-11 (8) , 774-783
https://doi.org/10.1109/TSE.1985.232526

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.

Keywords

OBJECT ORIENTED MODELING
CONTROL SYSTEM SYNTHESIS
LOGIC
SAFETY
NETWORK SYNTHESIS
SOFTWARE SYSTEMS
COMPUTER ARCHITECTURE
COMMUNICATION NETWORKS
COMPUTER LANGUAGES
CONTROL SYSTEMS

This publication has 0 references indexed in Scilit: