1. From the editor-in-chief

   • Xia Peisu

   EditorialNotes Pages: 1 - 1

2. On the communication structures of hyper-ring and hypercube multicomputers

   • Wang Jingwen
   • Kang Jichang
   • Han Zhaoxuan

   OriginalPaper Pages: 2 - 13

3. A new formal method for communication protocol specification

   • Li Layuan

   OriginalPaper Pages: 14 - 22

4. An ordering linear unification algorithm

   • Hu Yunfa

   OriginalPaper Pages: 23 - 28

5. A fault-tolerant file management algorithm in distributed computer system “THUDS”

   • Liao Xianzhi
   • Kumar Perera
   • Jin Lan

   OriginalPaper Pages: 29 - 34

6. Discovering natural laws by Reduction

   • Wu Yihua

   OriginalPaper Pages: 35 - 51

7. Transformations between rectangular and triangular patches in Bezier form

   • Li Hua
   • Liu Shenquan

   OriginalPaper Pages: 52 - 60

8. A problem of tree graph

   • Li Hao
   • Liu Qun

   OriginalPaper Pages: 61 - 66

9. Three improvements on an incremental algorithm for automatic semantic analysis

   • Ye Daxing

   OriginalPaper Pages: 67 - 74

10. Software Information Base (SIB) and its integration with Data Flow Diagram (DFD) tool

    • Dong Shihai

    OriginalPaper Pages: 75 - 84

11. Preliminary application of the computer technique to GuQin music research

    • Chen Changlin

    OriginalPaper Pages: 85 - 96