Adjoint machines, state-behavior machines, and duality

Finite Automata and Their Decision Problems

M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations

Computing, Computer Science, Mathematics +9

Theories of Abstract Automata

Ira Pohl, Michael A. Arbib · Mathematics of Computation · 1970 · 199 citations

Computing, Computer Science, Mathematics +10

Machines in a Category: An Expository Introduction

Michael A. Arbib, Ernest G. Manes · SIAM Review · 1974 · 133 citations

Computing, Computer Science, Mathematics +16

Foundations of system theory: Decomposable systems

Michael A. Arbib, Ernest G. Manes · Automatica · 1974 · 83 citations

Engineering, Systems Engineering, Model-based Systems Engineering +12

Minimal realization of machines in closed categories

Joseph A. Goguen · Bulletin of the American Mathematical Society · 1972 · 83 citations · Full text

Natural Sciences, Computer Science, Mathematics +9