Proof techniques for port-directed communication and broadcast Jin ZhiquanA. Silberschatz OriginalPaper Pages: 81 - 91
A routing algorithm for distributed optimal double loop computer networks Li Layuan OriginalPaper Pages: 92 - 98
Three-valued diagnosable systems: Diagnosability, optimal design and fault identification algorithm Huang Kaiyuan OriginalPaper Pages: 99 - 114
A general and formal method for the program static analysis Hou Luoming OriginalPaper Pages: 115 - 123
Two algorithms for variable allocation in an Interpreted Scheme Lu Weiming OriginalPaper Pages: 133 - 144