Kazuki Watanabe 0003, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo. A Unifying Approach to Product Constructions for Quantitative Temporal Inference. Proceedings of the ACM on Programming Languages, 9(OOPSLA1):1575-1603, 2025. [doi]
Abstract is missing.