排序方式: 共有37条查询结果,搜索用时 0 毫秒
1.
给出了1998年在上海交通大学举行的第7届全国青年计算机学术会议上青年计算机学者提出的一些当前中国计算机领域面临的问题以及对策。 相似文献
2.
3.
并发分布式系统已成为当前计算机技术的主流方向,主要介绍了移动代理协调语言KLAIM、XML及以XML为基础的体系结构以及XML-KLAIM的体系结构及XML-KLAIM的实现。 相似文献
4.
5.
Through the comparison of syntactic structure,operational semantics and algebraic semantics between χ-calculus and π-calculus, this paper concludes that χ-calculus has more succinct syntactic structure,more explicit operational semantics,more intuitionistic algebraic semantics and more favorable algebraic property. And a translation from π-calculus to χ-calculus is presented. 相似文献
6.
文章通过对X-演算与π-演算的进程中语法结构、操作语义、代数语义的比较,阐明了X-演算具有比π-演算更简洁的语法结构,更明确的操作语义、更直观的代数语义、更良好的代数性质,更强大的表达能力。并且给出了一个由π-演算到X-演算的翻译。 相似文献
7.
傅育熙 《中国科学F辑(英文版)》2001,44(1):20-32
From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The situation is in contrast to that withlambda calculus which has only one class of entities-the lambda terms. We introduce in this papera process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects-. First it has a unified treatment of channels and processes.There is only one class of syntactical entities-processes. Second it has a unified presentation ofboth first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional. Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide.A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed. 相似文献
8.
移动进程演算中的开互模拟 总被引:1,自引:0,他引:1
该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π-演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。 相似文献
9.
10.
Through the comparison of syntactic structure,operational semantics and algebraic semantics between χ-calculus and π-calculus, this paper concludes that χ-calculus has more succinct syntactic structure,more explicit operational semantics,more intuitionistic algebraic semantics and more favorable algebraic property. And a translation from π-calculus to χ-calculus is presented. 相似文献