Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Riess, Hans, Huang, Yujun, Klawonn, Matthew, Zardini, Gioele, Hale, Matthew
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Systems and Control Logic in Computer Science Category Theory Optimization and Control 93B51, 18D20, 06F07, 93B25, 93B52, 18M30, 18M05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2603.29921