A.W.罗斯科。 具有优先级的CSP的表达能力。 （英语） Zbl 1351.68148号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，387-401，仅电子版（2015）。 摘要：作者[Formal Asp.Comput.17，No.2，93–112（2005；Zbl 1101.68703号)；了解并发系统。伦敦：施普林格出版社（2010；Zbl 1211.68205号)]以前定义的类CSP操作语义，其主要限制是大多数操作的自动升级，没有运行进程的克隆，操作语义规则中没有否定前提。他指出，具有这种操作语义的每个操作符都可以翻译成CSP，因此在CSP的每个模型中都有语义。在本文中，我们证明了一个类似的结果适用于由[作者，2010，loc.cit.]第20章中描述的优先级操作符扩展的CSP，去掉了对否定前提的限制。关于整个系列，请参见[Zbl 1342.68016号]. 引用于9文件 MSC公司： 68问题55 计算理论中的语义学 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：CSP公司;操作语义学;优先级 引文：Zbl 1101.68703号;Zbl 1211.68205号 软件：FDR3公司 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Roscoe}，电子。注释Theor。计算。科学。319387——401（2015年；Zbl 1351.68148） 全文： 内政部 参考文献： [1] Bloom，B.，《弱互模拟的结构操作语义》，TCS，146，25-68i（1995）·Zbl 0873.68130号 [2] 布鲁姆，B。；福克金，W。；van Glabbeek，R.，修饰跟踪语义的同余格式，ACM计算逻辑事务，5（2004）·Zbl 1367.68209号 [3] 布鲁姆，B。；Istrail，S。；Meyer，A.，《无法追踪相互模拟》，JACM，42，1（1995）·Zbl 0886.68027号 [4] 博尔·R。；Groote，J.F.，《过渡系统规范中否定前提的含义》，JACM，43，863-914（1996）·Zbl 0889.68113号 [5] Brookes，S.D.，《通信顺序过程的模型》（1983），牛津大学博士论文 [6] 布鲁克斯，S.D。；罗斯科，A.W。；Walker，D.J.，《CSP的操作语义》（1986），牛津大学技术报告 [7] Fidge，C.J.，CSP中优先级的正式定义，ACM编程语言和系统事务，15（1993） [8] Gibson Robinson，T.，TYGER：在CSP中自动模拟类CSP语言的工具（2010），牛津大学论文 [9] Gibson-Robinson，T。；阿姆斯特朗，P。；布尔加科夫，A。；Roscoe，A.W.，FDR3-CSP的现代精化检查器，（系统构建和分析的工具和算法（2014），Springer），187-201·Zbl 1392.68300号 [11] Hoare，C.A.R.，《通信顺序过程》（1985），普伦蒂斯·霍尔·Zbl 0637.68007号 [12] Lowe，G.，《时间CSP的概率和优先级模型》，TCS，138（1995）·Zbl 0874.68163号 [14] Roscoe，A.W.，《并发的理论与实践》（1997），普伦蒂斯·霍尔 [15] Roscoe，A.W.，《理解并发系统》（2010），Springer·Zbl 1211.68205号 [16] Roscoe，A.W.，《论CSP的表现力》（2011）·Zbl 1351.68148号 [17] 罗斯科，A.W。；Hopcroft，P.J.，通过优先级缓慢抽象（2013），Springer LNCS·Zbl 1390.68487号 [18] Roscoe，A.W.，《论按优先级扩展的CSP的表达能力》，本文的扩展版本·Zbl 1101.68703号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。