1) pi-like Calculus
类pi演算
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究
2) pi-calculus
pi-演算
1.
Verifying Web services substitution using Pi-calculus;
基于Pi-演算的Web服务可替换性验证
2.
Workflow Patterns Description in Term of Pi-calculus;
基于Pi-演算的工作流模式描述
3.
Specification and verification of WS-CDL choreography based on Pi-calculus;
基于Pi-演算的WS-CDL编舞的描述和验证
3) Pi calculus
Pi演算
1.
Business process model of CRM system based on PI calculus
基于PI演算的CRM系统的业务流程建模
2.
This paper expands the Pi calculus in order to address a formalized description of the BPEL4WS program.
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。
3.
The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verify the BPEL4WS language automatically.
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。
4) pi-calculus
pi演算
1.
PI-calculus Modeling of Multicast Protocol Verified with MWB;
多播协议PI演算建模与MWB检测
2.
Improved method of automated Web service composition using Pi-calculus;
一种改进的基于Pi演算的Web服务自动组装方法
3.
Research on Formal Verification of Web Services Flow Based on Pi-Calculus;
基于Pi演算的服务流验证方法研究
5) asynchronous PI-calculus
异步PI演算
1.
Properties analysis for Web services long running transaction based on asynchronous PI-calculus;
基于异步PI演算的Web服务长事务协议性质分析
6) Applied pi calculus
应用pi演算
补充资料：类演算
类演算
calculus of classes
类演算t因回us ofd~s;~IIc，H姗“IIe] 惯用名，可追溯到G.B以〕le，指称数理逻辑中研究类的逻辑的分支.类演算实际上相当于这样的命题演算，在其中也考虑基本命题的主谓结构(即形如“元素x具有性质尸”的基本命题);而且，对于每个谓词(性质)P，都伴随着由所讨论的范围内具有这一性质的元素组成的一个类.类演算曾被认为是A石stoue三段论法的数学等价物.其实并非如此，因为在类演算中可以有空集和单元集，而Ar台to少并没有考虑过这一点.一般地，类演算并不被划分为数理逻辑的一个独立的分支，因为它的所有表达能力都被包括在一元谓词演算中(一元谓词演算又是狭义谓词演算的一个可判定的片断，见逻辑演算(10乡司因喊珑)).Aristotie的三段论法已经被J.L曲溺ie~(【4])用适当的方式形式化.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条