1.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
2.
Research on Pi-calculus-Based Software Architecture Refinement;
基于π演算的软件体系结构求精研究
3.
On Web Services Transaction Based on Extended π Calculus;
基于扩展π演算的Web服务事务研究
4.
Property Checking of BPEL4WS Based on π-calculus;
基于π-演算的BPEL4WS性质检验
5.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
6.
Research on Web Service Interface Extending and Description
基于π演算的Web Services接口扩展与描述
7.
Software Architecture Test Technology Based on π Calculus
基于π演算的软件体系结构测试技术
8.
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
9.
Research on Software Architectural Formalism Based on π Calculus;
基于π演算的软件体系结构形式化研究
10.
A New Component-Based Real-Time System Based on Timed High-Order(THO) π Calculus
基于高阶时间π演算的构件式实时软件研究
11.
Architecture Description Language Based on π-Calculus for Autonomous Systems
基于π演算的自治系统架构描述语言AS-ADL
12.
Formal method of human behavioral modeling based onπ-calculus
一种基于π演算的行为建模形式化方法
13.
ON ATOMIC TRANSACTION PROTOCOL OF WEB SERVICES BASED ON POLYADIC π-CALCULUS
基于多元π演算的Web服务原子事务协议研究
14.
Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows;
网格服务流的状态π演算形式化验证技术研究与应用
15.
Research of Intelligent Agent VR System in Automobile Chassis Dynamometer Based on π Calculus
基于π演算的汽车底盘测功机智能主体VR系统的研究
16.
On Testing Equivalences for Asymmetric and Asynchronous Asymmetric χ-calculus;
非对称与异步非对称χ演算的测试等价关系的研究
17.
Asynchronous Hierarchical Parallel Evolutionary Algorithm and its Application in Fuzzy Clustering Analysis;
异步分层并行演化算法及其在模糊聚类分析中的应用
18.
Reliability Optimization of Series-Parallel Systems Using Asynchronous Heterogeneous Hierarchical Parallel Genetic Algorithm;
异步异构分层并行演化算法及其在串并系统可靠性优化中的应用(英文)