Thanks for reply,Arjun. I am able to check the Mutual exclusion condition by bringing one process in critical and testing the others. But have confusions regarding the bounded wait and progress tests. If i get a reference or a good example aomewhere then that would be very useful. Thanks.