Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
<|reference_start|>Composition and Merging of Assume-Guarantee Contracts Are Tensor Products: We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.<|reference_end|>
@article{incer2024composition,
    title={Composition and Merging of Assume-Guarantee Contracts Are Tensor
  Products},
    author={Inigo Incer},
    journal={arXiv preprint arXiv:2405.06052},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.06052},
    primaryClass={eess.SY cs.LO cs.SY}
}