Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917842979389440 |
|---|---|
| author | Incer, Inigo |
| author_facet | Incer, Inigo |
| contents | We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2405_06052 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Composition and Merging of Assume-Guarantee Contracts Are Tensor Products Incer, Inigo Systems and Control Logic in Computer Science We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts. |
| title | Composition and Merging of Assume-Guarantee Contracts Are Tensor Products |
| topic | Systems and Control Logic in Computer Science |
| url | https://arxiv.org/abs/2405.06052 |