Turing machines, transition systems, and interaction

Dina Q. Goldin، نويسنده , , Scott A. Smolka، نويسنده , , Paul C. Attie، نويسنده , , Elaine L. Sonderegger، نويسنده ,

روزنامه با شماره پیاپی سال 2004

28

101

128

Models of interactive computation , Persistent Turing machine , Persistent stream language , Interactivetransition system , Sequential interactive computation

Information and Computation

2004

Information and Computation

262257