Stables Functions
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Estratégias de computação seqüenciais e paralelas sobre espaços coerentes / Sequential and parallel computational strategies of coherence spaces
As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds é um domínio concreto que pode ser considerada a parte "abstrata" das cds. Da mesma maneira tem-se que os domínios de eventos (qu
Publicado em: 2010