semaphores_7.txt

process Employee {
  while true {
    serve_customer(pop(queue))
  }
}

process Customer[c = 0 to N - 1] {
  while timeout[c] < 10 {
    p(wait_a_minute)
  }
}