Turing Machines, Transition Systems, and Interaction (2004)

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