Zhiru Hou, Huibiao Zhu. Relational Denotational and Algebraic Semantics Based on UTP. In Shaoying Liu, editor, Software Fault Prevention, Verification, and Validation - First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings. Volume 15393 of Lecture Notes in Computer Science, pages 226-244, Springer, 2024. [doi]
Abstract is missing.