2 citations · 2 across the 2 of their papers we have counts for
2 papers
eess.SY2024★ 2 cited
Composition and Merging of Assume-Guarantee Contracts Are Tensor Products
Inigo Incer
We show that the operations of composition and merging of contracts are part of the tensor product structure of the algebra of contracts.
math.CT2023
An Adjunction Between Boolean Algebras and a Subcategory of Stone Algebras
Inigo Incer
We consider Stone algebras with a distinguished element satisfying the identity for all elements of the algebra. We provide an adjunction between th…