摘要
讨论了为建立协议模型而进行的 CSP扩充问题 .主要向 CSP中引入了可终止进程的概念 ,给出了可终止进程的判定方法 ;提出了用 CSP来描述异步通信的手段 ;介绍了如何实现从 FSM模型向 CSP模型的转换 ;最后给出了 AB协议的
This paper discusses how to expand CSP to model a protocol. It introduces the concept of automatic termination of a process, and offers methods of how to judge whether a process is an automatic terminate process. Then it discusses how to describe asynchronous communication. It also introduces how to transfer a FSM model into a CSP model. At last a CSP description of AB protocol is given.
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第5期807-810,共4页
Journal of Chinese Computer Systems
基金
自然科学基金重大研究计划项目(9010 40 10)资助
教育部博士点基金项目(2 000035802)资助
国家863计划项目(2001AA112 0 62
200 1AA121016)资助
安徽省自然科学基金项目 (010 42208)资助
中国科学院院长基金特别支持项目(院基计字905号 )资助
