Turing machines, transition systems, and interaction

Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger. Turing machines, transition systems, and interaction. Inf. Comput., 194(2):101-128, 2004. [doi]

Abstract

Abstract is missing.