A máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes /
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étri...
Sábháilte in:
| Príomhchruthaitheoirí: | , , , |
|---|---|
| Formáid: | Tese |
| Foilsithe / Cruthaithe: |
|
| Ábhair: | |
| Rochtain ar líne: | https://app.bczm.ufrn.br/home/#/item/70149 |
| Clibeanna: |
Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|