协议形式化开发环境的规范语言
, PP. 817-823
Keywords: 协议规范语言,进程代数,lotos,实时系统,概率规范
Abstract:
lotos（languageoftemporalorderingspecification）是一种基于进程代数ccs的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种lotos的扩充语言elotos（extendedlotos），它在lotos的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
Full-Text
