• DocumentCode
    2177165
  • Title

    Characterization of the synchronization languages for PV systems

  • Author

    Henderson, Peter B. ; Zalcstein, Yechezkel

  • fYear
    1976
  • fDate
    25-27 Oct. 1976
  • Firstpage
    9
  • Lastpage
    18
  • Abstract
    A basic question in the area of asynchronous computation is: Given a synchronization problem, what synchronization primitives are needed for a solution? This paper is directed toward answering this question by characterizing the "behavior" of synchronization systems incorporating PV, PV multiple, PV chunk and PV general synchronization primitives.
  • Keywords
    Computational modeling; Computer science; Mathematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1976., 17th Annual Symposium on
  • Conference_Location
    Houston, TX, USA
  • ISSN
    0272-5428
  • Type

    conf

  • DOI
    10.1109/SFCS.1976.10
  • Filename
    4567883