// ----------------------------------------------------------------------------
// Barber
// ----------------------------------------------------------------------------

package Communication.MutexProtocols.BarberShop;

module FinishHairCut(int ?cleave, bdone) {
  next(bdone) = bdone+1;
  await(bdone==cleave);
}