Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language.

Huibiao Zhu Yongxin Zhao Jifeng He Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. 297-306 2009 Australian Software Engineering Conference http://dx.doi.org/10.1109/ASWEC.2009.20 conf/aswec/2009 db/conf/aswec/aswec2009.html#ZhuZH09