Jantar dos canibais pseudocodigo

[ag0n]

Boa tarde a todos.
Estou com um pequeno (grande) dilema. Após googlar e googlar não consegui encontrar nada de útil para um problema de sincronização de processos: Jantar dos canibais.

Antes de mais gostaria de saber se alguém me pode explicar em que consiste este problema, e caso possível se poderem explicar por pseudo-código agradecia.

Tenho várias dúvidas sendo elas (para além da uma explicação básica do mesmo problema):
- os canibais começam todos inicialmente a comer ao mesmo tempo?
- demoram todos o mesmo tempo a comer?
(a resposta a estas parece me óbvia.. deve ser um valor aleatório, contudo ...)
- o cozinheiro, quando acordado por um canibal, deve apenas reabastecer a travessa ou vai ainda começar a cozinhar uma nova série de alimentos (havendo assim um grande tempo de espera)?

O programa em questão deverá ser efetuado em C#, contudo qualquer ajuda/explicação em qualquer linguagem é mais que bem vindo.

Agradeço a disponibilidade,
cumps.