Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
arXiv:2405.06052 · doi:10.1007/978-3-031-75380-0_18
Abstract
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.