# Topological Interpretation of Interactive Computation

@inproceedings{Merelli2019TopologicalIO, title={Topological Interpretation of Interactive Computation}, author={Emanuela Merelli and Anita Wasilewska}, booktitle={From Reactive Systems to Cyber-Physical Systems}, year={2019} }

It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We revisit Goldin, Smolka hypothesis that persistent Turing machine (PTM) can capture the intuitive notion of sequential interaction computation. We propose a topological setting to model the abstract concept of environment. We use it to define a notion of a topological Turing machine (TTM) as a universal model for interactive computation and possible model for concurrent computation.

Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 17 REFERENCES

## What are the fundamental structures of concurrency? We still don't know!

VIEW 14 EXCERPTS

HIGHLY INFLUENTIAL

## O ct 2 01 7 Interactions of Computational Complexity Theory and Mathematics

VIEW 1 EXCERPT

HIGHLY INFLUENTIAL

## An Algebraic Characterisation of Concurrent Composition

VIEW 1 EXCERPT

## Topology driven modeling: the IS metaphor

VIEW 2 EXCERPTS

## Lecture for London

VIEW 1 EXCERPT

## Topology and data

VIEW 1 EXCERPT

## Interactive Computation: The New Paradigm

VIEW 1 EXCERPT

## Spin networks, quantum automata and link invariants

VIEW 2 EXCERPTS