柴明仁;南曲县;蒋莹 树进程演算。 （英语） Zbl 1286.68346号 Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212，269-284（2008）。 摘要：我们将罗宾·米尔纳的顺序过程演算扩展到树过程演算，方法类似于树自动机扩展字自动机。通过这种方法，我们建立了一个完善的推理系统，该系统通过树过程上的互模拟来描述等价性。作为推论，我们得到了树自动机之间的一个新的等价关系，它严格优于树自动机上的经典等价，并且通过定义在[P.A.阿卜杜拉等，Lect。票据计算。科学。4094, 173–185 (2006;Zbl 1160.68395号)].关于整个系列，请参见[兹比尔1279.68010]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 65年第68季度 形式语言和自动机 关键词：树过程演算;顺序过程演算;树自动机;互模拟 引文：Zbl 1160.68395号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chai}等人，《电子》。注释Theor。计算。科学。212269--284（2008年；Zbl 1286.68346） 全文： 内政部 参考文献： [1] Abdulla P.-A.、L.Kaati和J，Högberg，树自动机的互模拟最小化; Abdulla P.-A.、L.Kaati和J，Högberg，树自动机的互模拟最小化·Zbl 1143.68428号 [2] Comon H.、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi，“树自动机：技术与应用”，1997年；Comon H.、M.Dauchet、R.Gilleron、F.Jacquemard、D.Lugiez、S.Tison和M.Tommasi，“树自动机：技术和应用”，1997年 [3] Ene C.和T.Muntean，基于广播的通信系统演算; Ene C.和T.Muntean，基于广播的通信系统演算 [4] Gécseg，F。；斯坦比，M.，《树自动化》（1984），阿卡德米亚基亚多：布达佩斯·Zbl 0396.68041号 [5] 亨尼西，M。；Rathke，J.，广播系统演算的互模拟，TCS，200，1-2，225-260（1998）·Zbl 0915.68065号 [6] 霍普克罗夫特，J.-E。；Motwani，R。；Ullman，J.-D.，《自动化理论、语言和计算导论》（2001），Addison-Wesley：Addison-Whesley纽约·Zbl 0980.68066号 [7] Milner，R.，一类规则行为的完整推断系统，JCSS，28，3，439-466（1984）·Zbl 0562.68065号 [8] Milner，R.，《有限状态行为观测一致性的完全公理化》，I&C，81，2，227-247（1989）·Zbl 0688.68050号 [9] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [10] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号 [11] 奥斯特罗夫斯基K.、K.V.S.普拉萨德和W.塔哈，广播系统的原始高阶微积分; 奥斯特罗夫斯基K.、K.V.S.普拉萨德和W.塔哈，广播系统的本原高阶演算 [12] Prasad，K.V.S.，广播系统演算，SCP，25，2，285-327（1995） [13] Prasad，K.V.S.，移动广播系统招股说明书，ENTCS，162，295-300（2006）·Zbl 1316.68105号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。