论文部分内容阅读
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,