Articles

1. A model for BPEL-like languages

   • He Jifeng
   • Zhu Huibiao
   • Pu Geguang

   Research Article Pages: 9 - 19

2. Mathematics mechanization and applications after thirty years

   • Wu Wenjun
   • Gao Xiaoshan

   Review Article Pages: 1 - 8