[IEEE 2009 Australian Software Engineering Conference - Gold Coast, Australia (2009.04.14-2009.04.17)] 2009 Australian Software Engineering Conference - Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language

✍ Scribed by Zhu, Huibiao; Zhao, Yongxin; He, Jifeng

• Book ID: 126748028
• Publisher: IEEE
• Year: 2009
• Weight: 293 KB
• Category: Article
• ISBN: 0769535992
• DOI: 10.1109/ASWEC.2009.20