A Máquina Geométrica - um modelo computacional para concorrência e não-determinismo usando como estrutura os Espaços Coerentes.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Concorrência e Não-determinismo
-
Espaços Coerentes
-
Modelos Semânticos
-
Modelos de Computação
-
Teoria da Concorrência
-
Teoria dos Domínios e Aplicações
Identidade
identificador BrCris
-
ca06d267bf3e9e329ab229f04bfcad74
identificador Capes
-
200261842001013004P4-Publication
identificador Oasisbr
-
URGS_7b0d43dadb841685f7df2fa1dae60683