|
|
|
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
| |
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback