Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin. Denotational Approach to an Event-Driven System-Level Language. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 258-278, Springer, 2008. [doi]
Abstract is missing.