@misc{indiciaec784d747bbd8,
  title = {Assume-guarantee contract algebras are dp-algebras},
  author = {Jose Luis Castiglioni and Rodolfo Ertola-Biraben},
  year = {2025},
  url = {https://arxiv.org/abs/2402.12514},
  note = {Source identifier: 2402.12514}
}