Cuncurrent And Nondeterministic Computations
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes / The geometric machine : a model for concurrence and non-determinism based on coherence spaces
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 estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicad
Publicado em: 2007