Navegação Teses e Dissertações por Assunto "Cuncurrent and nondeterministic computations"
Resultados 1-1 de 1
-
A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes
(2002) [Tese]O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de ...