Especificação de Sistemas Distribuídos com CSP e Z

Objetivos | Cronograma | Notas de aula | Referências | Avaliação | Ferramentas | Projetos

Professores

Augusto Sampaio e Paulo Borba

 

Curso

Pós-Graduação em Ciência da Computação

Centro de Informática

Universidade Federal de Pernambuco

Augusto Sampaio  (acas@cin.ufpe.br) e Paulo Borba (phmb@cin.ufpe.br)