具有升级功能的条件转换系统的余代数处理
摘要：有关条件过渡系统和软件产品线升级的模型, 我们在"协同代数的环境下"进行了考虑。通过使用Birkhoff对分配格的对偶性，我们推导出两个等价的Kleisli范畴，其中这些协同代数生活着：基于读者和所谓的$mathsf{Poset}$上的格子单子的Kleisli范畴。我们研究了描述协同代数分支类型的两个不同函子，并研究了相应的行为等价性。此外，我们展示了如何实例化现有的协同代数最小化算法，以在这种环境中推导行为等价性。
作者：Harsh Beohar and Barbara K"onig and Sebastian K"upper and Alexandra Silva and Thorsten Wi{ss}mann
论文ID：1612.05002
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22