1) the asynchronous asymmetric x-calculus
异步非对称Chi演算
1.
The paper studies all kinds of bisimilarities of the asynchronous asymmetric x-calculus.
异步非对称Chi演算是目前更接近于现在的分布式程序语言的形式化系统。
2) Asymmetric chi calculus
非对称X-演算
3) Asynchronous Asymmetic x-Calculus
异步非对称x进程
4) asynchronous PI-calculus
异步PI演算
1.
Properties analysis for Web services long running transaction based on asynchronous PI-calculus;
基于异步PI演算的Web服务长事务协议性质分析
补充资料：对称与非对称
反映客观事物在结构、功能、时空上的特殊联系的范畴。对称指事物以一定的中介进行某种变化时出现的不变性，非对称指事物以一定的中介进行某种变化时出现的可变性。在自然界中普遍存在，形式多样。对称有空间对称(包括形象对称和结构对称)、时间对称、概念对称等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条