1) Indexed PI 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) pi-like Calculus
类pi演算
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究
6) asynchronous PI-calculus
异步PI演算
1.
Properties analysis for Web services long running transaction based on asynchronous PI-calculus;
基于异步PI演算的Web服务长事务协议性质分析
补充资料：1-Benzyl-4-hydroxy-4-(3-trifluorotolyl)pi-peridine
分子式：C19H20F3NO
分子量：335.37
CAS号：56108-27-1
性质：结晶。熔点 229-232.5℃。
制备方法：用苄基胺与丙烯酸甲酯在回流下加成，生成N,N-双（β-丙酸甲酯）苄胺，然后在甲醇钠作用下环合并转化成盐酸盐，得1-苄基-3-甲氧羰基-4-哌啶酮盐酸盐，将后者以盐酸水解并脱羧得1-苄基-4-哌啶酮，进而与间溴三氟甲苯、金属镁（格氏试剂）反应，得1-苄基-4-羟基-4-（3-三氟甲苯基）哌啶溴化镁，最后以盐酸水解制得该品。
用途：三氟哌丁苯盐酸盐的中间体。
分子量：335.37
CAS号：56108-27-1
性质：结晶。熔点 229-232.5℃。
制备方法：用苄基胺与丙烯酸甲酯在回流下加成，生成N,N-双（β-丙酸甲酯）苄胺，然后在甲醇钠作用下环合并转化成盐酸盐，得1-苄基-3-甲氧羰基-4-哌啶酮盐酸盐，将后者以盐酸水解并脱羧得1-苄基-4-哌啶酮，进而与间溴三氟甲苯、金属镁（格氏试剂）反应，得1-苄基-4-羟基-4-（3-三氟甲苯基）哌啶溴化镁，最后以盐酸水解制得该品。
用途：三氟哌丁苯盐酸盐的中间体。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条