论文标题
标准自动机理论和过程代数
Standard Automata Theory and Process Algebra
论文作者
论文摘要
1960年代自动机理论文献中开发的机器同态和机器产品的概念与并发系统更相关，而不是过程代数文献中所承认的，并为理解并发系统提供了复杂的数学基础。
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.
