Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Inigo Incer
TL;DR
This paper demonstrates that the operations of composition and merging of assume-guarantee contracts can be understood within the mathematical framework of tensor products, providing a unified algebraic perspective.
Contribution
It introduces a novel algebraic characterization of contract operations as tensor products, linking contract composition and merging to a well-established mathematical structure.
Findings
Contract composition and merging are tensor operations.
Provides an algebraic framework for contract operations.
Unifies contract operations under tensor product theory.
Abstract
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLaw, Economics, and Judicial Systems · Transportation and Mobility Innovations