罗伯特·德西蒙 Meije-SCCS中的高级同步装置。 （英语） Zbl 0598.68027号 西奥。计算。科学。 37, 245-267 (1985). 在R.Milner提出的并行和同步的代数设置中，我们在进程上定义了多种同步运算符。我们通过它们遵守的语义条件规则来介绍它们。我们从原始SCCS演算中证明了它们是更高级的非本原算子，展示了如何用本原表达式满足它们的行为。我们的目的是：通过翻译微积分中的其他形式主义，研究表达性——或者是过渡系统领域的“语义”，或者是“句法”。此类运营商允许人们指定正式复杂的同步模式，以处理（运营）产品和过渡系统的转换，并且仍然不会失去他们非正式的吸引力直觉；因为我们忘记了使用Meije-SCCS基本同步机制（引擎盖下的机制）的实现。除了组件的动作幺半群上允许的关系外，定义规则是在语法上给出的。这个“语义”方面使我们能够处理许多“可计算性”问题。在封闭条件下尤其如此，我们可以在过渡制度中主张建设性的“普遍性”。操作员的情况似乎稍微复杂一些。对我们主要结果的证明使我们对开放表达式的等价证明进行了技术上的改进，这本身就很有趣。 引用于90文件 MSC公司： 第68页第25页 操作系统理论 关键词：平行度；同步；过程；语义条件规则；SCCS演算；过渡系统的变换；开放表达式的等价证明 PDF格式BibTeX公司 XML格式引用 \文本{R.De Simone}，Theor。计算。科学。37、245--267（1985年；Zbl 0598.68027） 全文： 内政部 参考文献： [1] Boudol，G.，关于过程代数演算的注释，（北约并行系统验证和规范逻辑和模型高级研究所（1984），施普林格：施普林格柏林）·Zbl 0578.68025号 [2] Plotkin，G.，《操作语义的结构方法》（Rept.（1981），奥胡斯大学）·Zbl 1082.68062号 [3] Backhouse，R.，《SCCS中常规语言识别器的规范和证明》（Res.Rept.CSR-130-83（1983），爱丁堡大学） [4] Bergstra，J.A。；Tiuryn，J.，《队列的过程代数语义》（《技术报告》IW 241/83（1983），阿姆斯特丹数学和计算机科学中心计算机科学系）·Zbl 0564.68025号 [5] Austry，D。；Boudol，G.，Algèbre de processus et synchronization，理论。计算。科学。，30, 1, 91-131 (1984) ·Zbl 0533.68026号 [6] Elgot，C.C.，《一元计算和迭代代数理论》（Rose，H.E.；Shepherdson，J.C.，《逻辑学术讨论会》，73（1975），北荷兰：北荷兰阿姆斯特丹）·Zbl 0123.33502号 [7] Hennessy，M.，证明收缩系统正确，（爱丁堡大学研究报告CSR-162-84（1984））·Zbl 0598.68030号 [8] Milner，R.，流图和流代数，J.ACM，26（1979）·Zbl 0421.68025号 [9] 米尔纳，R.，同步和异步微积分，定理。计算。科学。，25267-310（1983年）·Zbl 0512.68026号 [10] Milner，R.，一类正则行为的完整推理系统，J.Compute。系统科学。，28 (1984) ·Zbl 0562.68065号 [11] Parikh，R.，语言生成设备，J.ACM，13，570-581（1966）·Zbl 0154.25801号 [12] 德西蒙，R.，On梅杰和SCCS：无穷和运算符与非保护定义，Theoret。计算。科学。，30,1133-138（1984），（注）·Zbl 0533.68015号 [13] de Simone，R.，《并行过程的计算与表达》梅杰（巴黎第七大学，《第三周期》（1984）） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。