My doubt is as follows: If deadlock is there, processes will be busy waiting in wait loop. So, decision on which process enters C.S. is not made in finite time. Hence, is it correct to say progress is violated? I am not clear to conclude about bounded wait.