2) High-order π calculus
高阶π演算
3) timed π calculus
时间π演算
1.
To extend the capacity of π calculus in modeling and analyzing time-related properties of a system,a well-timed π calculus with durational actions and busy-waiting interaction mechanism,namely T-π calculus,was proposed based on the characteristics of re-entrant production line system.
为了提高π演算对系统时间特性进行建模和分析的能力,针对可重入流生产线系统的特点,提出了一种基于持续活动和同步-等待交互方式的时间良构的时间π演算,即T-π演算。
4) 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)。
5) π-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;
用π-演算描述网络考试系统
6) π-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;
工作流模式的π演算形式化
补充资料：π, π-conjugation
分子式：
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
CAS号：
性质：单键和双键相互交替排列的共轭体系。最简单的为1,3-丁二烯，而苯分子则是一个具有高度对称结构的闭合共轭体系。除碳碳双键外，碳碳叁键、碳氧双键等，都可组成π,π-共轭。例如：CH2＝CH—C≡CH；CH2＝CH—CH＝O。由π,π-共轭引起的使分子内能降低、键长发生平均化等电子效应，称为π,π-共轭效应。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条