We use cookies to improve your experience with our site.

Proof Techniques for Port-Directed Communication and Broadcast
Jin Zhiquan, A. Silberschatz
1987, 2(2): 81-91.
Abstract
A Routing Algorithm for Distributed Optimal Double Loop Computer Networks
Li Layuan
1987, 2(2): 92-98.
Abstract
Three-Valued Diagnosable Systems: Diagnosability, Optimal Design and Fault Identification Algorithm
Huang Kaiyuan
1987, 2(2): 99-114.
Abstract
A General and Formal Method for the Program Static Analysis
Hou Luoming
1987, 2(2): 115-123.
Abstract
Shape Grammars and Shape Rules
Sun Jiaguang
1987, 2(2): 124-132.
Abstract
Two Algorithms for Variable Allocation in an Interpreted Scheme
Lu Weiming
1987, 2(2): 133-144.
Abstract
An Analysis of WS and PFF Algorithms
Pan Yangsheng
1987, 2(2): 145-156.
Abstract
The Duodirun Merging Algorithm
Zheng Zhijie
1987, 2(2): 157-162.
Abstract