Exercícios de Programação Concorrente
- Sistemas de Transição (Labeled Systems)
- CCS sequencial (CCS sequential) (Regras/Rules)
- CCS (completo) (CCS full)
- Equivalências de comportamento (Behaviour equivalences) (usar /use Pseuco.com e/and CAAL- sintaxe de CCS diferente/different syntax ) (algumas soluções)
- Equivalência e Congruência observável (MUTEX) (Weak bisimulations and Observable equivalence)
- CCS com valores e Modelação em CCS (Value passing CCS and modulation of concurrent systems) (Regras/Rules CCSvp)