TY - RPRT TI - Quantale-Enriched Co-Design: Toward a Framework for Quantitative Heterogeneous System Design AU - Hans Riess AU - Yujun Huang AU - Matthew Klawonn AU - Gioele Zardini AU - Matthew Hale PY - 2026 UR - https://arxiv.org/abs/2603.29921 ID - 2603.29921 ER -