Go backward to Distributed Environment
Go up to Top
Go forward to Result
Write a server that schedules some resource among C clients such that no more than R clients operate on it at the same time.
void Client(Channel server, Channel client)
grant = receive(client);
Channel[C] server, client;
parallel(int i=0; i < C; i++)
Server such that it meets the specification.