Title :
Characterization of the synchronization languages for PV systems
Author :
Henderson, Peter B. ; Zalcstein, Yechezkel
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;
Conference_Titel :
Foundations of Computer Science, 1976., 17th Annual Symposium on
Conference_Location :
Houston, TX, USA
DOI :
10.1109/SFCS.1976.10
