First steps in the construction of the geometric machine model

Submitted by Débora Due (debora_due@hotmail.com) on 2012-11-22T02:33:38Z No. of bitstreams: 1 First Steps in the Construction of the Geometric.pdf: 203569 bytes, checksum: 684254217ed11c5056c90618a99449bd (MD5)Approved for entry into archive by Michele Fernanda(michele_fernandas@hotmail.com) on 2012-11-24T02:27:35Z (GMT) No. of bitstreams: 1 First Steps in the Construction of the Geometric.pdf: 203569 bytes, checksum: 684254217ed11c5056c90618a99449bd (MD5)Made available in DSpace on 2012-11-24T02:27:35Z (GMT). No. of bitstreams: 1 First Steps in the Construction of the Geometric.pdf: 203569 bytes, checksum: 684254217ed11c5056c90618a99449bd (MD5) Previous issue date: 2002This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose positionsare labelled by the points of a geometric space. The ordered structure of the GM model is based on Girard’s Coherence Spaces. Starting with a coherence space of elementary processes, the inductive domain-theoretic structure of this model is step-wise and systematically constructed and the procedure completion ensures the existence of temporally and spatially infinite computations. A particular aim of our work is to apply this coherence-space-based interpretation to the semantic modelling parallelism and distributed computation over array structures.Este trabalho introduz a Máquina Geométrica (MG) - um modelo computacional para construção e representação de processos concorrentes e não determinísticos, executados de forma sincronizada, com memória infinita cujas posições são rotuladas por pontos de um espaço geométrico. A estrutura ordenada do modelo MG ´e formalizada como um Espaço Coerente de Girard. A partir do espaço coerente de processos elementares, a estrutura indutiva deste domínio é sistematicamente construıda em etapas e o procedimento de completaçãao assegura a existencia de computações temporal e espacialmente infinitas. Um especial objetivo deste trabalho ´e aplicar esta representa¸c˜ao baseada em espaçcos coerentes na modelagem semantica de computações paralelas e distribuıdas, definidas sobre estruturas matriciais