T (2006.02.21): Apresentação da Disciplina. Introdução aos sistemas reactivos. Álgebras e Coalgebras. Tipos indutivos e coindutivos. Interação e comportamento. Comportamento dos autómatos determinísticos.

-- LuisSoaresBarbosa - 21 Feb 2006