Turing Machines, Transition Systems, and Interaction (2004)

by Dina Q. Goldin , Scott A. Smolka , Peter Wegner
Venue:Information and Computation
Citations:28 - 4 self