• DocumentCode
    2202186
  • Title

    Consistency of synchronization nets using P and V operations

  • Author

    Bruno, J.L. ; Coffman, E.G. ; Hosken, W.H.

  • fYear
    1972
  • fDate
    25-27 Oct. 1972
  • Firstpage
    71
  • Lastpage
    77
  • Abstract
    In this paper we provide a formulation of the synchronized execution of a system of tasks using generalized P and V operations. We explore the properties of such processes and present as a main result a decision procedure for settling the consistency question.
  • Keywords
    Buffer storage; Communication system control; Concurrent computing; Printers; Printing; System recovery; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Switching and Automata Theory, 1972., IEEE Conference Record of 13th Annual Symposium on
  • Conference_Location
    USA
  • ISSN
    0272-4847
  • Type

    conf

  • DOI
    10.1109/SWAT.1972.2
  • Filename
    4569697
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2202186