Research on Network Service Architecture and Its Formal Model

• 网络服务体系结构及其形式化模型的研究