代数规则相关论文
补偿通信顺序进程（cCSP）是通信顺序进程用于长事务建模的扩展，可用来描述服务计算中的编制程序，比如WS-BPEL程序。目前，cCSP只有操作语......
无线网络己经被广泛运用于人们日常生活中的许多方面。尤其是在缺少固定基础设施的情况下,无线网络和无线技术是合适的通信解决方......
