Research on Formal Description of Protocols Based on CSP and RSL
Ruo Jia · Jisuanji gongcheng · 2003
The paper adopts a new RSL (Formal Description Language) to describe network protocols with CSP(Communication Sequential Processes) model,which is based on process algebra and is able to use strict algebra calculation method to verify the protocol character.In addition,we extend the CSP model and RSL,giving the translation rules and process from CSP model to RSL.In the end,an example of TFTP demonstrates the applicability of RSL.