Computability and realizability for interactive computations
From MaRDI portal
Publication:2343137
DOI10.1016/j.ic.2014.12.019zbMath1309.68064OpenAlexW2025130322MaRDI QIDQ2343137
Publication date: 4 May 2015
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2014.12.019
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
What is the Church-Turing Thesis? ⋮ Theory and methodology of assumption/commitment based system interface specification and architectural contracts ⋮ Specification and verification of concurrent systems by causality and realizability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Turing machines, transition systems, and interaction
- On the complexity of \(\omega\)-type Turing acceptors
- Theory of \(\omega\)-languages. II: A study of various models of \(\omega\)- type generation and recognition
- \(\omega\)-computations on Turing machines
- Verification of concurrent programs: The automata-theoretic framework
- Specification and Development of Interactive Systems
- Data Types as Lattices
- Time, clocks, and the ordering of events in a distributed system
- Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
- A Theory of System Interaction: Components, Interfaces, and Services
- A Theory of Interactive Computation
- Computability Logic: A Formal Theory of Interaction
- Interaction and Realizability
- Church’s Problem and a Tour through Automata Theory
- New Computational Paradigms
This page was built for publication: Computability and realizability for interactive computations
