On Multitape Automata

[1]  Harry R. Lewis,et al.  A new decidable problem, with applications , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[2]  Malcolm Bird,et al.  The Equivalence Problem for Deterministic Two-Tape Automata , 1973, J. Comput. Syst. Sci..

[3]  David C. Luckham,et al.  On Formalised Computer Programs , 1970, J. Comput. Syst. Sci..

[4]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[5]  Dana S. Scott,et al.  Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..