Exercícios de Programação Concorrente

1. Sistemas de Transição.
2. CCS sequêncial
3. CCS completo (regras)
4. Equivalências de comportamento
5. Equivalência e Congruência observável (MUTEX)
6. PseuCo: canais, locks e monitors (exemplos)