杰雷米·杜布特;埃里克·古堡;让·古鲍特·拉雷克 P-可及范畴模型中的互模拟和展开。 （英语） Zbl 1392.68296号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第25条，第14页（2016年）。 摘要：我们提出了一个相互模拟和展开的分类框架，它统一了[A.乔亚尔等，《信息计算》。127，第2期，164-185页（1996年；Zbl 0856.68067号)]通过打开地图和展开。这是基于相对于路径形状的子类别可访问的类别的概念，即可以将树的良好概念定义为路径的粘合。我们证明了转换系统和预处理模型是我们框架的实例。我们还证明了在我们的框架中，几个互模拟概念是一致的，特别是与转换系统中的标准定义类似的“操作性概念”。此外，我们的可访问性概念通过核心灵活性得以保留。这也将我们引入一个在可及情况下表现良好的展开概念：它是一个右伴随，是一个普适覆盖，即它是相对于路径形状具有独特提升性质的态射中的初始态射。作为应用，我们证明了当路径形状的类别被很好地选择时，代数拓扑中的标准结构广群的泛覆盖与展开是一致的。关于整个系列，请参见[Zbl 1351.68014号]. 引用于2文件 理学硕士： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 18秒20 机器、自动机的类别 18层20 预提升和滑轮、堆垛、下降条件（理论方面） 关键词：分类模型;互模拟;核心屈曲;展开;通用覆盖层 引文：Zbl 0856.68067号 PDF格式BibTeX公司 XML格式引用 \textit{J.Dubut}等人，LIPIcs——莱布尼茨国际程序。通知。59，第25条，第14页（2016年；Zbl 1392.68296） 全文： 内政部