• DocumentCode
    745162
  • Title

    Synthesizing Code for Resource Controllers

  • Author

    Ramamritham, Krithivasan

  • Author_Institution
    Department of Computer and Information Science, University of Massachusetts
  • Issue
    8
  • fYear
    1985
  • Firstpage
    774
  • Lastpage
    783
  • 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
    Shared resources; specification; synchronization; synthesis; temporal logic; Communication networks; Computer architecture; Computer languages; Control system synthesis; Control systems; Logic; Network synthesis; Object oriented modeling; Safety; Software systems; Shared resources; specification; synchronization; synthesis; temporal logic;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1985.232526
  • Filename
    1702086
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=745162