Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Systems and Control
2024-11-22 v1 Logic in Computer Science
Systems and Control
Abstract
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
Cite
@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}
}