%0 Journal Article
%T 协议形式化开发环境的规范语言
%A 罗铁庚？
%A 陈火旺？
%A 齐治昌？
%A 龚正虎？
%J 软件学报
%P 817-823
%D 1997
%X lotos（languageoftemporalorderingspecification）是一种基于进程代数ccs的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种lotos的扩充语言elotos（extendedlotos），它在lotos的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
%K 协议规范语言
%K 进程代数
%K lotos
%K 实时系统
%K 概率规范
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19971103&flag=1