1) High-order π calculus
高阶π演算
2) high-order multi-type π calculus
高阶多型π演算
1.
Based on the high-order multi-type π calculus theory, a dynamic architecture description language D-ADL is proposed.
基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage)。
4) π-calculus
π-演算
1.
Analysis and modeling of web services flow using π-calculus;
基于π-演算的web服务流的分析与建模(英文)
2.
Description and verification for security protocol based onπ-calculus;
基于π-演算的安全协议描述与验证
3.
Description of the network examination system by π-calculus;
用π-演算描述网络考试系统
5) π-calculus
π演算
1.
Formalizing Description of Long Running Transaction Based on Extended π-calculus;
基于扩展π演算的长事务处理形式化描述
2.
On Petri nets semantics for π-calculus;
π演算的Petri网语义研究
3.
Formalizing Workflow Patterns Based on the π-calculus;
工作流模式的π演算形式化
6) pi-calculus
π-演算
1.
The thesis, combined with an 863 project undertaken by the lab, researches on the correctness of business process internal logic and explores a way to model and verify business process described in WS-BPEL using process algebra pi-calculus as a formal tool.
本文结合实验室承担的国家863科研攻关项目,针对业务流程内部逻辑的正确性问题展开研究,探索利用进程代数π-演算作为形式化工具,对WS-BPEL描述的业务流程进行建模和验证。
补充资料：π, π-conjugation
分子式：
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条