Some Algebraic Aspects of Assume-Guarantee Reasoning
Not on the map. Why?
Abstract (arXiv)
We present the algebra of assume-guarantee (AG) contracts. We define contracts, provide new as well as known operations, and show how these operations are related. Contracts are functorial: any Boolean algebra has an associated contract algebra. We study monoid and semiring structures in contract algebra -- and the mappings between such structures. We discuss the actions of a Boolean algebra on its contract algebra.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 16 Sep 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2025: 1.
1 paper.