半推出重写：并发性、结合性与规则代数框架
计算机科学中的逻辑
2019-12-23 v2 离散数学
摘要
半推出（SqPO）重写是一类图状及其他适配于粘合范畴框架的结构变换的变体，其中可实现未知上下文中的删除。我们首次给出了这类重要重写类型的并发定理，并展示了这些理论所具有的一种结合性形式的额外数学性质。该结合性可进而被用于构造所谓的（SqPO 型）规则代数，基于其特别地可实现随机 SqPO 重写系统的连续时间马尔可夫链的通用框架。
引用
@article{arxiv.1904.08357,
title = {Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework},
author = {Nicolas Behr},
journal= {arXiv preprint arXiv:1904.08357},
year = {2019}
}
备注
In Proceedings GCM 2019, arXiv:1912.08966