// ---------------------------------------------------------------------------- // Barber // ---------------------------------------------------------------------------- package Communication.MutexProtocols.BarberShop; module NextCustomer(int ?cinchair,bavail,bbusy) { next(bavail) = bavail+1; await(bbusy<cinchair); next(bbusy) = bbusy+1; }