Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Vincent G. Cerf"'
Publikováno v:
ACM Annual Conference (2)
This paper presents new results from a study of flow-of-control in programs involving concurrent processes. Within the framework of flow-of-control, this paper:1) defines a property of parallel program behavior called proper termination (PT);2) shows