Topological Interpretation of Interactive Computation

August 03, 2019 · The Ethereal · 🏛 From Reactive Systems to Cyber-Physical Systems

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Emanuela Merelli, Anita Wasilewska arXiv ID 1908.04264 Category cs.LO: Logic in CS Cross-listed cs.AI Citations 3 Venue From Reactive Systems to Cyber-Physical Systems Last Checked 5 months ago
Abstract
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.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS