何塞·梅塞格尔;乌戈·蒙塔纳里 将平铺逻辑映射到重写逻辑。 （英语） Zbl 0903.08010 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1376，62-91（1998年）。 摘要：重写逻辑扩展到具有状态变化的并发系统，这是在代数语义方法中开发的理论体系。它既是一个基础工具，也是一些实现工作（Cafe、ELAN、Maude）的核心语言。平铺逻辑扩展了（无条件的）重写逻辑，因为它考虑到了带有副作用和同步的状态变化。它特别适用于定义反应系统、协调语言、移动计算以及因果和定位并发系统的计算组合模型。本文使用最新开发的代数规格说明方法，即隶属关系方程逻辑，对这两种逻辑进行了定义和比较。给定一个理论（T），（T）的重写逻辑是自由单体2-范畴，而（T）中的tile逻辑是由（T）生成的自由单体双范畴。还定义了单体2-范畴的扩展形式，称为2VH-范畴，能够在适当的意义上包括单体双范畴的结构。我们表明，2VH-范畴对应于重写逻辑的扩展版本，它能够嵌入tile逻辑，并且可以使用合适的内部策略在重写逻辑的基本版本中实现。当理论统一时，这些策略可能会简单得多。本文为CCS提供了一个统一理论，并推测大多数过程代数都存在统一理论。关于整个系列，请参见[Zbl 0889.00030号]. 引用于15文件 MSC公司： 08A70型 泛代数在计算机科学中的应用 68问题65 抽象数据类型；代数规范 18立方厘米 理论（例如代数理论）、结构和语义 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68问题55 计算理论中的语义学 18D05日 双类别、\（2\）-类别、双类别和概括（MSC2010） 18日第10天 单线、对称单线和编织线类别（MSC2010） 关键词：状态变化的并发系统;重写逻辑;同步;计算的组合模型;代数规范;隶属度方程逻辑;自由单分子2-类;磁贴逻辑;自由单体双范畴;过程代数 软件：莫德;OBJ咖啡馆;ELAN公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，莱克特。注释计算。科学。1376、62-91（1998年；Zbl 0903.08010）