1. Sun Y, Liu F, Mei S (2010) Polynomial approximate of a nonlinear system and its application topower system (I): theoretical justification. Electric Mach Control Harbin Univ Sci Technol 14(8):19–23
2. Yang H, Wu J, Zhang Z (2012) Approximate completed trace equivalence of inhomogeneous linear transition systems. IJACT 4(8):58–66
3. Zhang Z, Wu J-Z, Yang H Approximation to Linear Algebra Transition system. Communications in computer and information science, Vol 304. Emerging Intelligent Computing Technology and Applications, Part 10, pp 336–343
4. Klin B (2004) From bialgebraic semantics to congruence formats. In: Proceedings of the workshop on structural operational semantics, pp 3–37
5. Aceto L, Capobianco S, Ingólfsdóttir A (2007) On the existence of a finite base for complete trace equivalence over BPA with interrupt [Online]. Available:
http://www.brics.dk/RS/07/5/BRICS-RS-07-5.pdf
, February 2007