Xiying Zhao. Deciding Algorithm for Simulation Equivalence on MTIPP. In Maozu Guo, Liang Zhao, Lipo Wang, editors, Fourth International Conference on Natural Computation, ICNC 2008, Jinan, Shandong, China, 18-20 October 2008, Volume 3. pages 619-622, IEEE, 2008. [doi]
Abstract is missing.