Research of Protocols Formal Description Technology Based on CSP and RSL
Qiu Jianlin · Microelectronics & Computer · 2009
Protocols formal description is the kernel technology of protocol engineering.It is foundation of protocols development.This paper firstly summarizes some current technologies of FDT.Then two technologies are studied:one is CSP(Communicating Sequtential Processes),and another is RSL(RAISE Specification Language).Examples are also presented to show how to use them to describe AB protocol.