1 paper
Jose Luis Castiglioni, Rodolfo Ertola-Biraben
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relie…