Exercícios de Programação Concorrente
- Sistemas de Transição.
- CCS sequencial
- CCS completo (regras)
- Equivalências de comportamento (usar Pseuco.com e CAAL- sintaxe de CCS diferente ) (algumas soluções)
- Equivalência e Congruência observável (MUTEX)
Made in RapidWeaver