假设-保证合约的组成与合并是张量积
系统与控制
2024-11-22 v1 计算机科学中的逻辑
系统与控制
摘要
我们表明，合约的组成和合并操作是合约代数中张量积结构的一部分。
引用
@article{arxiv.2405.06052,
title = {Composition and Merging of Assume-Guarantee Contracts Are Tensor Products},
author = {Inigo Incer},
journal= {arXiv preprint arXiv:2405.06052},
year = {2024}
}