%0 Journal Article
%T A SPECIFICATION LANGUAGE FOR FORMAL DEVELOPMENT ENVIRONMENT OF PRACTICAL PROTOCOLS<br>协议形式化开发环境的规范语言
%A LUO Tiegeng
%A CHEN Huowang
%A QI Zhichang
%A GONG Zhenghu
%A <br>罗铁庚
%A 陈火旺
%A 齐治昌
%A 龚正虎
%J 软件学报
%D 1997
%I 
%X LOTOS(language of temporal ordering specification) is a protocol specification language based on process algebra CCS. It is geared to protocol verification, but it is not powerful enough for describing some properties of practical protocols. This paper introduces a language ELOTOS(extended LOTOS), with the power of describing asynchronous communication, time, and stochastic event occurring.
%K Protocol specification language
%K process algebra
%K LOTOS
%K real-time system
%K probabilistic specification<br>协议规范语言
%K 进程代数
%K LOTOS
%K 实时系统
%K 概率规范
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=81F2E93D01EE0A84891F51D5925D2BE7&yid=5370399DC954B911&vid=5D311CA918CA9A03&iid=708DD6B15D2464E8&sid=92DE343A8428AA81&eid=CE504F5B1E192581&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=8