ITAP201中文模板.docVIP

Trace and Complete Semantics for Algebraic Transition Systems Zhang Zhiwei(Author) (of Affiliation): Chengdu Institute of Computer Application Chinese Academy of Sciences Chengdu, China Wu Jinzhao(Author) (of Affiliation): Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning, China Beijing Jiaotong University, Beijing, China himrwujz@ Yang Hao (Author) (of Affiliation): Chengdu Institute of Computer Application Chinese Academy of Sciences Chengdu, China Abstract—Alge