Formal Description and Verification of a Transport Protocol for Local Networks
Li Layuan;Wuhan University of Water Transportation Engineering

..............page:64-70

Denote CSP with Temporal Formulas
Zhou Chaochen;Liu Xinxin;Institute of Software;Academia Sinica

..............page:17-23

Two Congruent Semantics for Prolog with CUT
Zhu Mingyuan;Beijing Institute of System Ergineering

..............page:82-91

A Fuzzy Proof Theory
Liu Dongbo;Li Deyi;The Institute of China Electronic System Engineering Company

..............page:92-96

Aliasing Errors in Parallel Signature Analyzers
Min Yinghua;CAD Laboratory;Institute of Computing Technology;Academia SinicaYashwant K. Malaiya;Colorado State University;U. S. A.Jin Boping;School of MPC & E;Macquarie University;Australia

..............page:24-40

Algorithms for the Determination of Cutsets in a Hypergraph
Yao Rong;Kang Tai;Chen Tinghuai;Chonoqiny University

..............page:41-46

A Parallel Algorithm for Finding Roots of a Complex Polynomial
Cheng Jinsong;Anhui University;Hefei

..............page:71-81

A Message-Based Distributed Kernel for a Full Heterogeneous Environment
Xue Xing;Sun Zhongxiu;Zhou Jianqiang;Xu Xihao;Nanjing University

..............page:47-56

TAUS: A File-Based Software Understanding Tool
Fei Xianglin;Wang Chengzao;Wang Hezhen;Zhao Changmiao;Nanjing University

..............page:57-63

Motion Planning for Robots with Topological Dimension Reduction Method
Zhang Bo;Zhang Tian;Zhang Jianwei;Tsinghua UniversityZhang Ling;Anqing Teachers’College

..............page:1-16