安德烈·萨拉斯 过程代数中的不完全性。 （英语） Zbl 0661.68030号 信息处理。莱特。 29，No.2，67-70（1988）. 通过对图灵机等价问题的直接约简，证明了两个通信过程是否等价是不可判定的。这个问题甚至不是部分可判定的，也不是递归可枚举的。审核人：M.Jantzen先生 MSC公司： 68问题65 抽象数据类型；代数规范 68N25号 操作系统理论 2005年第68季度 计算模型（图灵机等）（MSC2010） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：进程代数;观察等价;并发;不完全性;图灵机的等价问题;通信过程 PDF格式BibTeX公司 XML格式引用 \textit{A.Szalas}，Inf.过程。莱特。29，第2号，67--70（1988；Zbl 0661.68030） 全文： DOI程序 参考文献： [1] Baeten，J.C.M。；Bergstra，J.A。；Klop，J.W.，《过程代数中中断机制的语法和定义方程》，《信息学基础》，9，2，127-167（1986）·Zbl 0617.68027号 [2] Bergstra，J.A。；Klop，J.W.，同步通信的进程代数，信息与对照，60，1-3109-137（1984）·Zbl 0597.68027号 [3] Bergstra，J.A。；Klop，J.W.，《抽象通信过程代数》，理论。计算。科学。，37, 1, 77-121 (1985) ·Zbl 0579.68016号 [4] 坎宁安，R.J。；Nonnengart，A。；Szalas，A.，《异步过程设计和证明的组合方法》，（ESPRIT Conf.（ESPRIT'87-成就和影响，第1部分）（1987年），北荷兰：北荷兰阿姆斯特丹），566-580 [5] 霍普克罗夫特，J.E。；Ullman，J.D.，《自动机理论、语言和计算导论》（1979），Addison-Wesley:Addison-Whesley Reading，MA·Zbl 0196.01701号 [6] Huet，G。；Oppen，D.C.，《方程式和重写规则：一项调查》（Book，R.V.，形式语言理论：观点和开放问题（1980），学术出版社：纽约学术出版社），349-405 [7] Klop，J.W.，《术语重写系统：教程》，Bull。EATCS，32，143-182（1987）·Zbl 0666.68025号 [8] Milner，R.，《通信系统的微积分》，计算机科学讲稿，第92卷（1980），施普林格：施普林格柏林·兹比尔0452.68027 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。