Standard Automata Theory and Process Algebra

The concepts of machine homomorphism and machine products developed in the automata theory literature in the 1960s are more relevant to concurrent systems than is acknowledged in the process algebra literature and offer a sophisticated mathematical basis for understanding concurrent systems.