// ----------------------------------------------------------------------------
// 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;
}