标准自动机理论与过程代数

摘要:1960年代的自动机理论文献中发展起来的机器同态和机器乘积的概念,比过程代数文献所认识到的更与并发系统相关,并为理解并发系统提供了复杂的数学基础。

作者:Victor Yodaiken

论文ID:2205.03515

分类:Formal Languages and Automata Theory

分类简称:cs.FL

提交时间:2023-06-22

PDF 下载: 英文版 中文版pdf翻译中