使用Pi演算对移动通信服务进行研究和建模

介绍了利用pi演算进行业务过程建模的框架及各个阶段使用的工具和技术。