// ---------------------------------------------------------------------------- // Barber // ---------------------------------------------------------------------------- package Communication.MutexProtocols.BarberShop; module FinishHairCut(int ?cleave, bdone) { next(bdone) = bdone+1; await(bdone==cleave); }