First Steps in the Construction of the Geometric Machine Model
DOI:
https://doi.org/10.5540/tema.2002.03.01.0183Abstract
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.References
[1] G.P. Dimuro, A.C.R. Costa and D.M. Claudio, A coherence space of rational intervals for a construction of IR, Journal of Reliable Computing, 6 (2000), 139-178.
J.-Y. Girard, The system F of variable types, fifteen years later, Theoretical Computer Science, 45 (1986), 159-192.
J.-Y. Girard, Linear logic, Theoretical Computer Science, 1 (1987), 187-212.
R.H.S. Reiser, “The Geometric Machine - a Computational Model for Con- currence and Non-determinism Based on Coherence Spaces”, Ph.D. Thesis (in portuguese), PPGC, UFRGS, Porto Alegre, RS, Brazil, 2002. (avaliable in http://gmc.ucpel.tche.br/imqd)
D. Scott, Some definitional suggestions for automata theory, Journal of Com- puter and System Sciences, 188 (1967), 311-372.
D. Scott, The lattice of flow diagrams, Lecture Notes in Mathematics, 188 (1971), 311-372.
A.S. Troeltra, Lectures on Linear Logic, in “CSLI Lecture Notes”, Vol. 29, 1992.
Downloads
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.