迭戈·拉特拉；梅克·马西克；埃里克·P·德文克。 标记状态-功能转换系统的协同模拟。 （英语） Zbl 1448.68345号 日志。方法计算。科学。 11，第4号，第16号论文，40页（2015）. 摘要：标记的状态到功能转换系统，FuTS公司简而言之，其特征是将状态与函数具有丰富的高阶算子集的一般半环上的状态。像这样的，FuTS公司构成一个方便的建模工具来处理过程语言及其定量扩展。本文中，由FuTS公司是从联盟的角度来解决的。建立的对应结果表明FuTS公司-双相似性与相关函子的行为等效性一致。作为一般示例，定量过程代数主要示例的实质片段的等价性与特定过程代数的双相似性有关FuTS公司示例包括随机过程语言，政治公众人物协议，到交互式马尔可夫链语言，IML公司，一种（离散的）定时过程语言，TPC公司，以及马尔可夫自动机的语言，MAL公司这些语言的等价性与其特定语言的相似性有关FuTS公司通过相应的结果，得到了这些计算等价性的聚合证明。除了涵盖大量过程交互模型和涉及数量的建模选择外，语言的特定选择还允许我们显示不同类别的FuTS公司也就是所谓的简单FuTS公司，合并FuTS公司，嵌套FuTS公司、和概述FuTS公司. 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：定量过程代数；FuTS公司；有限支撑函数；互模拟；联合布拉格；行为等效 软件：MarCaSPiS公司；MoDeST公司 PDF格式BibTeX公司 XML格式引用 \textit｛D.Latella｝等人，日志。方法计算。科学。11，第4号，第16号论文，40页（2015；Zbl 1448.68345） 全文： 内政部 arXiv公司