Title :
Consistency of synchronization nets using P and V operations
Author :
Bruno, J.L. ; Coffman, E.G. ; Hosken, W.H.
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;
Conference_Titel :
Switching and Automata Theory, 1972., IEEE Conference Record of 13th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1972.2
