网络嵌入式系统描述与研究.docVIP

The specification and analysis of network embedded system Journal of Harbin Institute of Technology (New Series) Vo1.12, No.4, 2005 PAGE 20 PAGE 13 The specification and analysis of network embedded system ZHANG Guan-hua ZHANG Lian-hua BAI ying-cai (Dept．of Computer Science and Technology,Shanghai Jiao tong University,Shanghai 200030,China) Abstract：This paper proposes a formal method which is used to model and analyze network devices such as routers．It is based on an algebraic process called “ACSR-VP”,which enhances the original CCS algebraic process by incorporating the notions of time,r