Jean-Camille Birget
-
A categorical framework for finite state machines
Mathematical Structures in Computer Science
Machine semantics
Theoretical Computer Science