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}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
Citations
| 590 | Linear logic - Girard - 1987 |
| 137 | The System F of Variable Types, fifteen years later - Girard - 1986 |
| 25 | The lattice of flow diagrams - Scott - 1971 |
| 12 | Some definitional suggestions for automata theory - Scott - 1967 |
| 8 | A coherence space of rational intervals for a construction of - Dimuro, Costa, et al. |
| 2 | The Geometric Machine - a computational model for concurrence and non-determinism based on the coherence spaces - Reiser - 2002 |
