First steps in the construction of the Geometric Machine, em “Seleta do XXIV (2002)
| Venue: | Tendências em Matemática Aplicada e Computacional |
| Citations: | 2 - 2 self |
BibTeX
@INPROCEEDINGS{Reiser02firststeps,
author = {R. H. S. Reiser and A. C. R. Costa and G. P. Dimuro and Cx. P},
title = {First steps in the construction of the Geometric Machine, em “Seleta do XXIV},
booktitle = {Tendências em Matemática Aplicada e Computacional},
year = {2002},
pages = {183--192}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. This 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 positions are 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. 1.
Keyphrases
geometric machine first step em seleta ordered structure geometric space array structure elementary process coherence space particular aim inductive domain-theoretic structure infinite memory girard coherence space coherence-space-based interpretation non-deterministic process procedure completion infinite computation computational model gm model synchronized way semantic modelling parallelism
