// ---------------------------------------------------------------------------- // Customers // ---------------------------------------------------------------------------- package Communication.MutexProtocols.BarberShop; module GetHaircut(int cinchair,cleave,?bavail,?bdone) { await(cinchair<bavail); next(cinchair) = cinchair+1; await(cleave<bdone); next(cleave) = cleave+1; }