barber_shop_ok barber_shop_deadlock
philosophers_semaphores_ok philosophers_semaphores_deadlock
philosophers_mutex_ok philosophers_mutex_deadlock
producer_consumer_ok producer_consumer_deadlock
barber_shop_ok barber_shop_deadlock
philosophers_semaphores_ok philosophers_semaphores_deadlock
philosophers_mutex_ok philosophers_mutex_deadlock
producer_consumer_ok producer_consumer_deadlock