Huibiao Zhu, Fan Yang, Jifeng He. Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. In Shengchao Qin, editor, Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Volume 6445 of Lecture Notes in Computer Science, pages 286-308, Springer, 2010. [doi]
Abstract is missing.