带升级的条件迁移系统的余代数处理
计算机科学中的逻辑
2023-06-22 v5
摘要
我们在余代数框架下考虑条件迁移系统，其建模带有升级的软件产品线。通过使用Birkhoff关于分配格的对偶性，我们推导出这些余代数所处的两个等价的Kleisli范畴：基于reader单子以及所谓的格单子（lattice monad）作用于上的Kleisli范畴。我们研究描述余代数分支类型的两个不同函子，并考察所得到的行为等价。此外，我们展示了如何将现有的余代数最小化算法实例化以推导该设置下的行为等价。
引用
@article{arxiv.1612.05002,
title = {A coalgebraic treatment of conditional transition systems with upgrades},
author = {Harsh Beohar and Barbara König and Sebastian Küpper and Alexandra Silva and Thorsten Wißmann},
journal= {arXiv preprint arXiv:1612.05002},
year = {2023}
}