# A denotational semantics of Simulink with higher-order UTP

> Research article (Journal of Logical and Algebraic Methods in Programming, 2022) · cited 11× · AI/ML

**Wikidata**: [openalex:W4294204626](https://www.wikidata.org/wiki/openalex:W4294204626)  
**Source**: https://4ort.xyz/entity/a-denotational-semantics-of-simulink-with-higher-order-utp