Turing Machines, Transition Systems, and Interaction (2004)

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