1.
Property Checking of BPEL4WS Based on π-calculus;
基于π-演算的BPEL4WS性质检验
2.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
3.
The Petri Net Based on the π-calculus and the Formal Analysis for Cryptographic Protocols;
基于π-演算的Petri网和密码协议的形式化分析
4.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
5.
Research on Pi-calculus-Based Software Architecture Refinement;
基于π演算的软件体系结构求精研究
6.
On Web Services Transaction Based on Extended π Calculus;
基于扩展π演算的Web服务事务研究
7.
Research on Web Service Interface Extending and Description
基于π演算的Web Services接口扩展与描述
8.
Software Architecture Test Technology Based on π Calculus
基于π演算的软件体系结构测试技术
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.
The special case of the exchange of resistance equivalents of both theΠ- shape and the T-shape is simplified a great deal in the process of the deduction.
从特殊情况出发,对电阻Π联接与T型联接的等效互换进行了推导,简化了推导演算过程。
17.
Recalculation of Compton Scattering on Charged Pions
π~±介子上康普顿散射过程的重新计算
18.
New Min-Sum Decoding Algorithm for π-rotation LDPC Codes
一种π-旋转LDPC码的Min-Sum译码算法