Apresenta condições de corrida, exclusão mútua, semáforos, monitores, deadlocks e modelos assíncronos. Exercícios ensinam a construir e testar programas concorrentes sem resultados imprevisíveis.
