伊恩·菲利普斯 带优先防护装置的CCS。 （英语） Zbl 1134.68042号 J.日志。阿尔盖布。程序。 75，第1号，139-165（2008）. 摘要：人们早就认识到，标准进程代数很难处理不同优先级的操作，例如高优先级的中断操作。已经提出了各种解决方案。我们引入了一种新的方法，包括在Milner的过程演算CCS中添加“优先级保护”。在我们的方法中，优先级是不确定的，这意味着动作没有被分配固定的级别，因此同一个动作可以根据它在程序中出现的位置而具有不同的优先级。与CCS中其他未经批准的优先账户（如卡米列里和温斯克尔的账户）不同，我们对称地对待输入和输出。我们介绍了新的微积分，给出了例子，发展了它的理论（包括互模拟和方程定律），并将其与现有的方法进行了比较。我们使用领导人选举问题来证明优先级为CCS和（pi）演算都增加了表现力。 引用于8文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：中央控制系统；优先；表现力；\（\pi\）-微积分 PDF格式BibTeX公司 XML格式引用 \发短信{I.Phillips}，J.Log。阿尔盖布。程序。75，编号1，139-165（2008年；兹bl 1134.68042） 全文： 内政部 参考文献： [1] Baeten，J.C.M。；Bergstra，J。；Klop，J.W.，进程代数中中断机制的语法和定义方程，Fundam。通知。，9127-168（1986年）·Zbl 0617.68027号 [2] Bergstra，J。；Klop，J.W.，同步通信的进程代数，Inform。和控制，60，1-3，109-137（1984）·Zbl 0597.68027号 [3] A.Bloch、M.V.Frederiksen、B.Haagensen、AΠ;-微积分与应用程序优先行动，DAT5项目报告，B1-215B组，导师H.Hüttel，奥尔堡大学计算机科学系，2004年。；A.Bloch、M.V.Frederiksen、B.Haagensen、AΠ;-微积分与应用程序优先行动，DAT5项目报告，B1-215B组，主管H.Hüttel，奥尔堡大学计算机科学系，2004年。 [4] Bougé，L.，《关于在通信顺序过程网络中寻找领导者的对称算法的存在性》，《信息学报》。，25, 179-201 (1988) ·兹比尔06216.8011 [5] J.卡米莱里。；Winskel，G.，CCS与优先选择，Inform。和计算。，116, 1, 26-37 (1995) ·Zbl 0818.68107号 [6] Cardelli，L。；Gordon，A.D.，《移动环境》，Theoret。计算。科学。，240, 1, 177-213 (2000) ·Zbl 0954.68108号 [7] 克里维兰，R。；Hennessy，M.C.B.，过程代数中的优先级，Inform。和计算。，87, 1/2, 58-77 (1990) ·Zbl 0726.68053号 [8] 克里维兰，R。；吕特根，G。；Natarajan，V.，过程代数中的优先级，（Bergstra，J.A.；Ponse，A.；Smolka，S.A.，过程代数手册（2001），爱思唯尔），391-424，（第12章）·Zbl 1062.68079号 [9] Ene，C.公司。；Muntean，T.，点对点通信与广播通信的表现力（FCT’99）。FCT’99，计算机科学讲义，第1684卷（1999），Springer-Verlag），258-268·Zbl 0946.68096号 [10] Fidge，C.J.，CSP中优先级的正式定义，ACM Trans。编程语言系统。，15, 4, 681-705 (1993) [11] Hansson，H。；Orava，F.，《具有无与伦比优先级的过程演算》，（北美过程代数研讨会论文集，纽约石溪，计算机研讨会（1992），斯普林格·弗拉格），43-64 [12] Hoare，C.A.R.，通信顺序过程，Commun。关联计算。机器。，21, 8, 666-677 (1978) ·Zbl 0383.68028号 [13] Hoare，C.A.R.，《通信顺序过程》（1985），Prentice-Hall·Zbl 0637.68007号 [14] A.Jeffrey，A typed，prioritized process algebra，《技术报告13/93》，苏塞克斯大学计算机科学系，1993年。；A.Jeffrey，《类型化、优先化过程代数》，技术报告13/93，萨塞克斯大学计算机科学系，1993年。 [15] C.-T.Jensen，分布式计算机系统中的优先和独立操作，奥胡斯大学博士论文，1994年。；C.-T.Jensen，分布式计算机系统中的优先和独立操作，奥胡斯大学博士论文，1994年。 [16] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统。科学。，28, 439-466 (1984) ·Zbl 0562.68065号 [17] Milner，R.，《沟通与并发》（1989），普伦蒂斯·霍尔·Zbl 0683.68008号 [18] Milner，R.，有限状态行为观测一致性的完整公理化，Inform。和计算。，81, 227-247 (1989) ·Zbl 0688.68050号 [19] Milner，R.，《通信和移动系统：π演算》（1999），剑桥大学出版社·Zbl 0942.68002号 [20] 米尔纳，R。；帕罗，J。；Walker，D.，《移动进程演算》，Inform。和计算。，100, 1-77 (1992) ·Zbl 0752.68037号 [21] Natarajan，V。；Christoff，L。；克里斯托夫，I。；Cleaveland，R.，《过程代数中的优先级和抽象》，（Thiagarajan，P.S.，《软件技术和理论计算机科学基础》，第14届会议。《软件技术与理论计算机科学》，第十四届会议，《计算机科学讲义》，第880卷（1994），Springer-Verlag），217-230·Zbl 1044.68688号 [22] 美国内斯特曼。；Pierce，B.，《解码选择编码》，Inform。和计算。，163, 1, 1-59 (2000) ·兹比尔1003.68080 [23] Palamidessi，C.，《比较同步和异步计算的表达能力》，数学。结构计算。科学。，13, 5, 685-719 (2003) [24] Phillips，I.C.C.，《具有优先保护的CCS》（第十二届并行理论国际会议论文集，CONCUR 2001）。第十二届并行理论国际会议论文集，CONCUR 2001，计算机科学讲义，第2154卷（2001），Springer-Verlag），305-320·Zbl 1006.68082号 [25] 菲利普斯，国际刑事法院。；Vigliotti，M.G.，《环境计算中的选举制度》，第七届软件科学和计算结构基础国际会议论文集，FoSSaCS 2004。第七届软件科学和计算结构基础国际会议论文集，FoSSaCS 2004，计算机科学讲义，第2987卷（2004），Springer-Verlag），408-422·Zbl 1126.68508号 [26] 菲利普斯，I.C.C。；Vigliotti，M.G.，《环境进程环中的领导人选举》，Theoret。计算。科学。，356, 3, 468-494 (2006) ·Zbl 1092.68068号 [27] Prasad，K.V.S.，广播系统演算，科学。计算。编程，25，2-3，285-327（1995） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。