%0 Journal Article
%T 分布实现完全lotos规范的转换方法
%A 谢冰？
%A 陈火旺？
%A 王兵山？
%J 软件学报
%P 642-646
%D 1999
%X 基于lotos规范语言,文章从系统功能规范出发,结合实际系统的分布特性,推导出符合实际系统结构的模块化规范的转换方法.用标注的完全lotos语言规范表达复杂的系统分布特性,研究了使用广播通信方式进行协同的、直接处理多模块划分的规范分解算法.
%K 分布式系统
%K 进程代数
%K lotos规范语言
%K 规范分解.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19990615&flag=1