Programação Concorrente
Prog.Con
Programa
Bibliografia
Ligações
Práticas
Trabalho prático
Aulas
Exercícios de Programação Concorrente
Sistemas de Transição.
CCS sequêncial
CCS completo
(
regras
)
Equivalências de comportamento
Equivalência e Congruência observável
(
MUTEX)
PseuCo
: canais, locks e monitors (
exemplos
)