Text this: 通信顺序进程的扩充及其在协议形式化技术中的应用