A quantitative approach to global state composition

Sandra Alves, Delia Kesner, Miguel Ramos 0002. A quantitative approach to global state composition. Mathematical Structures in Computer Science, 35, 2025. [doi]

Abstract

Abstract is missing.