搜索筛选:
搜索耗时0.0776秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：钱悦晨,朱军,
来源：南京大学学报：自然科学版 年份：2000
主要讨论了一种描述对象活动的方法，提出了活动体的概念，并给出了它的三元组形式。活动体是对象式系统中具有通信能力的最小单位，由此可以构造对象及至系统的交互（通信）行为。同时......
[期刊论文] 作者：钱悦晨,赖蓉,等,
来源：解放军理工大学学报：自然科学版 年份：2002
在研究关于CSP并发指称语义的不同研究方法的基础之上，利用广义状态的概念和完间作为指称的方法，讨论了OCCAM的一个子集OCCAM/TOY的并发语义。针对目前交垒并发语义研究方法的...
[期刊论文] 作者：钱悦晨,朱军,宋方敏,,
来源：南京大学学报（自然科学版） 年份：2000
主要讨论了一种描述对象活动的方法,提出了活动体的概念,并给出了它的三元组形式.活动体是对象式系统中具有通信能力的最小单位,由此可以构造对象乃至系统的交互(通信)行为....
[会议论文] 作者：宋方敏,徐永森,钱悦晨,
来源：1998年华人理论计算机科学年会 年份：1998
该文讨论数据类型上的计算。由于λ演算是一种计算模型，作者用λ项去编码数据类型以及去计算它们，因此，用λ演算刻划和反映了一般数据类型上的可计算性。...
[期刊论文] 作者：钱悦晨,严涛,赖蓉,宋方敏,,
来源：解放军理工大学学报(自然科学版) 年份：2004
在研究关于CSP并发指称语义的不同研究方法的基础之上,利用广义状态的概念和完备距离空间作为指称的方法,讨论了OCCAM的一个子集OCCAM/TOY的并发语义.针对目前交叠并发语义研...
相关搜索：
