Computability and realizability for interactive computations

This publication has 14 references indexed in Scilit:

• Turing machines, transition systems, and interaction
  Information and Computation, 2004
• Why Church's Thesis Still Holds. Some Notes on Peter Wegner's Tracts on Interaction and Computability
  The Computer Journal, 1998
• Adding fair choice to Dijkstra's calculus
  ACM Transactions on Programming Languages and Systems, 1994
• Composing specifications
  ACM Transactions on Programming Languages and Systems, 1993
• Elements of interaction
  Communications of the ACM, 1993
• On the complexity of ω-type Turing acceptors
  Theoretical Computer Science, 1980
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• ω-Computations on Turing machines
  Theoretical Computer Science, 1978
• Theory of ω-languages. II: A study of various models of ω-type generation and recognition
  Journal of Computer and System Sciences, 1977
• An Unsolvable Problem of Elementary Number Theory
  American Journal of Mathematics, 1936