Characterization of the synchronization languages for PV systems
Peter B. Henderson, Yechezkel Zalcstein · 1976
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.