Ningning Chen, Huibiao Zhu, Jifeng He 0001. Denotational and Algebraic Semantics for the SMrCaIT Calculus Based on UTP. In Simon Foster 0001, Augusto Sampaio 0001, editors, The Application of Formal Methods - Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Volume 14900 of Lecture Notes in Computer Science, pages 1-21, Springer, 2024. [doi]
Abstract is missing.