Sistemas Distribuídos como Autómatos

O raciocínio rigoroso sobre sistemas computacionais tem necessariamente de ser feito com base em ferramentas matemáticas. Uma classe importante dos sistemas computacionais actuais é a dos sistemas distribuídos, ou seja, a dos sistemas compostos por computadores interligados por redes de comunicação que realizam tarefas de forma cooperativa. Neste seminário vamos apresentar um formalismo de representação de sistemas distribuídos baseado em autómatos (autómatos I/O). Diversos resultados importantes da área serão apresentados e discutidos.