Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Elements of interaction: Turing award lecture
Communications of the ACM
Why interaction is more powerful than algorithms
Communications of the ACM
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Turing machines, transition systems, and interaction
Information and Computation
The church-turing thesis: breaking the myth
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.00 |
We deal with the issue of realizability and computability of interactive interface behaviors as described in [1]. We treat the following aspects of interactive behaviors that are represented by relations between communication streams:--- Causality between input and output streams--- Realizability of single output histories for given input histories--- The role of non-realizable output in specific system contexts and for composition--- Relating non-realizable behaviors to state machines--- The concept of interactive computation and computabilityFinally, we relate our results to classical notions of computability. The main goal of this paper is the characterization of a general concept of interactive interface behavior as basis for the extension and generalization of the notion of computability to interactive behaviors.