交互与观察：基于双代数的反应式系统范畴语义
计算机科学中的逻辑
2013-06-05 v3 形式语言与自动机理论
摘要
我们使用双代数（dialgebras）作为标准余代数框架的补充，双代数推广了代数和余代数，旨在通过反应规则描述交互系统的语义。在该模型中，交互是内建的，语义等价性由此产生，而非取决于对孤立组件副作用的（可能困难的）理解。双代数中的行为等价性由给定进程如何与其他进程交互以及由此获得的观察结果所决定。我们开发了一种技术来相互定义不同函子的双代数范畴，特别是允许我们比较标准余代数语义及其双代数对应物。我们使用 CCS 和-演算（pi-calculus）对该框架进行了举例说明。值得注意的是，为-演算提供语义的双代数无需使用预层范畴（presheaf categories）。
引用
@article{arxiv.1209.5903,
title = {Interaction and observation: categorical semantics of reactive systems trough dialgebras},
author = {Vincenzo Ciancia},
journal= {arXiv preprint arXiv:1209.5903},
year = {2013}
}