G.布多尔。;卡斯特拉尼，I。 转换的置换：CCS和SCCS的事件结构语义。（技术贡献）。 （英语） Zbl 0683.68029号 逻辑和并发模型中的线性时间、分支时间和偏序，Proc。研讨会，Noordwijkerhout/NL 1988，Lect。注释计算。科学。354, 411-427 (1989). [关于整个系列，请参见Zbl 0683.68001号.]本文提出了R.Milner通信系统演算（CCS）及其同步版本（SCCS）的置换等价性，并证明了项的计算有序空间是事件结构的配置偏序集。每个等价计算类（直到排列）都可以表示为一步转换，其中动作是一个标记的事件偏序集。偏序集转换语义提供了作为事件结构的CCS（和SCCS）术语解释的操作对应物。审核人：N.Curteanu公司 引用于36文件 MSC公司： 68问题65 抽象数据类型；代数规范 68问题55 计算理论中的语义学 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68N25号 操作系统理论 关键词：进程代数;偏序标记转移系统;事件结构 引文：Zbl 0683.68001号 PDF格式BibTeX公司 XML格式