假设 - 保证契约代数是 dp-代数
计算机科学中的逻辑
2025-09-23 v3 环与代数
摘要
在 [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] 中，提出了关于假设 - 保证（assume-guarantee）契约的代数视角。该提议依赖于涉及布尔代数的构造。然而，由此提出的结构缺乏一套明确规定的基元运算，而若要将它们视为一类代数（在泛代数意义上），这是必要的。在本文中，通过为契约规定一组合适的基元运算，我们成功地将这些代数描述为（生成集成员所属的）已知簇（varieties）。
引用
@article{arxiv.2402.12514,
title = {Assume-guarantee contract algebras are dp-algebras},
author = {Jose Luis Castiglioni and Rodolfo Ertola-Biraben},
journal= {arXiv preprint arXiv:2402.12514},
year = {2025}
}
备注
We've changed the category equivalent to AGC to one equivalent to three odd Sugihara monoids. This allows us to provide a direct, less overworked, and self-contained proof of the results from version 1. We've changed the title to fit the new presentation. New citations have been added