π-演算相关论文
人类发展的历史,就是解决问题的历史。计算机的出现,加快了人类解决问题的速度,也带来了与之相对应的问题。在一些反复出现的问题......
计算的模型一般可以分为两类,一类是顺序计算,一类是并行与并发计算.以π-演算为代表的移动进程演算是描述并发系统的一种理论模型......
该文用符号化方法对带有不等名测试算子π-演算模型中开观察同余关系进行了深入研究.主要的工作包括以下三方面:1.参照Fu和Yang关......
该文主要研究的对象是Oz 语言的约束的π-演算语义,类和对象的π-演算语义.借助带多态和子类型关系的π-演算这一中间语言来作为我......
该课题旨在用π-演算对COM的基本体系结构进行解释,选取了COM实现过程以及COM创建对象与接口调用细节作为切入点,重点研究在请求调......
本课题基于SBML 和BioSPI 的基础，分两步来完成：1．首先研究SBML 和BioSPI 对系统生物建模的不同点和相同点，SBML 从知识表示和共享的角......
徐开发分布式计算已经成为计算机科学前沿的研究热点之一.由于并发分布式计算与传统的顺序计算有着本质的不同,以及并发分布式系统......
随着Web服务的出现和推广,基于Web服务的动态服务组合技术也成为近年的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基......
近年来，生物学的迅猛发展惊动了全世界。尤其在分子生物学和基因学方面，已由实验获得了大量的数据，如蛋白质的网络结构和人类基因组草......
业务流程的设计和验证是所有工作流产品的一个主要功能。为了能够尽早发现流程建模中死锁、缺少同步等问题,大部分工作流产品都需......
Web服务组合是一种基于面向服务架构的技术,通过把功能单一的单个Web服务组合起来,实现了服务的重用与增值,解决了互联网异构应用......
针对物联网服务建模和验证问题,用π-演算理论对物联网服务和环境实体进行动态交互行为建模,并引入μ-演算刻画物联网服务能力,将......
