1.
Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows;
网格服务流的状态π演算形式化验证技术研究与应用
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.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
15.
Research of Intelligent Agent VR System in Automobile Chassis Dynamometer Based on π Calculus
基于π演算的汽车底盘测功机智能主体VR系统的研究
16.
Research on Satuation Calculus-Based Grid Services Composition;
基于状态演算的网格服务自动组合技术研究
17.
A method of phase modulation in which the two significant conditions differ in phase by radians
两个主要状态在相位上差π弧度的一种相位调制方法。
18.
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型联接的等效互换进行了推导,简化了推导演算过程。