排序方式: 共有17条查询结果,搜索用时 0 毫秒
11.
傅育熙 《上海交通大学学报》1997,31(8):40-43
在新型并发计算模型-X-演算的基础上进一步研究高价X-演算,并从代数性质,递归能力等方面研究该计算模型,该演算的特点是它的对称性。 相似文献
12.
并发计算的元模型Ⅰ.图模型 总被引:5,自引:4,他引:1
傅育熙 《上海交通大学学报》2000,34(6):723-726
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .文中用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径 相似文献
13.
傅育熙 《上海交通大学学报》2000,(5)
借鉴证明论中的一些思想 ,提出了并发计算的一个图模型 .在此模型中 ,计算对象表示为图 ,计算过程表示为图重写 ,重写规则将通信过程视为证明的等价变换过程 .为便于形式化研究图模型 ,提出了模型的形式对应物——图演算 ,该演算类似于进程代数演算 ,与其他进程代数演算的不同之处在于本演算是对称的 .本文用证明论方法研究并行理论 ,为进程代数演算开辟了一条新的研究途径 . 相似文献
14.
15.
为了消除有限容量演算中的强干扰和控制资源的移动,改进了该演算的某些原语,提出了一种新的演算——安全有限容量演算。在新演算中,调整了2个能力,增加了3个能力(相当于动作)和2个余能力(余动作),并改进相应的归约语义,给出了安全有限容量演算的类型系统。该类型系统控制灰箱的移动性和线程数,并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内。 相似文献
16.
傅育熙 《上海交通大学学报》1997,(8)
在新型并发计算模型——χ-演算的基础上进一步研究高价χ-演算,并从代数性质、递归能力等方面研究该计算模型.该演算的特点是它的对称性 相似文献
17.
一新型移动进程模型—x—演算 总被引:1,自引:1,他引:0
傅育熙 《上海交通大学学报》1997,31(8):7-11
提出一新型并发计算模型-x-演算,它与π-演算的不同之处在于;具有统一的输入和输出,只有一类受限名,通讯的范围由局部化操作作界定,允许更大的并发度。着重研究X-进程的代数性质。 相似文献