We use cookies to improve your experience with our site.

A New Formal Method for Communication Protocol Specification
On the Communication Structures of Hyper-ring and Hypercube Multicomputers
An Ordering Linear Unification Algorithm
A Fault-Tolerant File Management Algorithm in Distributed Computer System “THUDS”
Discovering natural laws by Reduction
Transformations between Rectangular and Triangular Patches in Bezier Form
A Problem of Tree Graph
Three Improvements on an Incremental Algorithm for Automatic Semantic Analysis
Current Issue Cover