通信顺序进程的扩充及其在协议形式化技术中的应用 - 顾翔; 赵保华; 屈玉贵 (Tongxin xuebao)