Concorrência: exclusão mútua e sincronização - UFF

Monitores
monitor monitor-name
{
declaração de variáveis compartilhadas
}
procedure P1 (…) {
. . .
}
procedure P2 (…) {
. . .
}
procedure Pn (…) {
. . .
}
{
}
código de inicialização