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

package Communication.MutexProtocols.BarberShop;

module NextCustomer(int ?cinchair,bavail,bbusy) {
  next(bavail) = bavail+1;
  await(bbusy<cinchair);
  next(bbusy) = bbusy+1;
}