本文是面向开发者的进程代数基本入门级文章,很多技术人员对纯粹理论性的东西望而却步,但是对这些东西有所了解有助于大家的计算机理论思维,我希望尽量以最直观而简单的方式让大家快速充电,本文介绍进程代数的定义...
本文是面向开发者的进程代数基本入门级文章,很多技术人员对纯粹理论性的东西望而却步,但是对这些东西有所了解有助于大家的计算机理论思维,我希望尽量以最直观而简单的方式让大家快速充电,本文介绍进程代数的定义...
进程演算是研究并行计算和分布式计算的一个重要语义模型。引入区间值进程演算的可加模型(简称AICCS),以解决在并发通讯系统中产生的不确定性。在该模型中,前缀进程、并行进程以及和进程都赋以区间值。作者给出了...
共享内存程序设计:创建两个进程,在A进程中创建一个共享内存,并向其写入数据,通过B进程从共享内存中读出数据。 消息队列程序设计:创建一个消息队列,如何使用消息队列进行两个进程(发送端和接受端)之间的通信...
文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明。系统在c语言环境下实现,已...
进程演算会合的实现是原子提交协议。因此,原子提交的传统正确性属性是由微积分实现的互模拟证明所包含的。实际上,在pi演算中发现的传统会合只对应于原子提交的一种特殊情况,称为二进制内聚。如果我们考虑原子提交...
为了对基本的虚拟化操作进行建模,我们提出了一个进程演算V,其中包含启动和停止VM以及在分层存储中读取和写入数据的原语。 形式主义,因为V可用于关于虚拟化的各种应用(诸如基于VM的可信计算或基于VM的计算网格)...
理论计算机科学电子笔记173(2007)275-293www.elsevier.com/locate/entcs移动Ad Hoc网络Massimo Merro1维罗纳大学计算机科学系意大利维罗纳摘要我们提出了一个进程演算来研究移动Ad Hoc网络的观测理论。我们的演算...
理论计算机科学电子笔记162(2006)233-236www.elsevier.com/locate/entcs进程演算与对等网络数据集成塞尔吉奥·马塞雷斯伦敦帝国理工学院计算机系[email protected]。摘要通过Web服务交换动态文档的对等系统是一...
145《理论计算机科学电子札记》66卷第3期(2002年)网址:http://www.elsevier.nl/locate/entcs/volume66.html25页高阶分布过程演算Florence Germaina,Marc Lacostea和Jean-BernardStefaniba法国电信研发部,28,...
国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于进程演算的方法三种。其中,进程演算对于协议的描述几乎接近协议的本身含义,可以很精确地刻划协议的运行过程。使用进程...
国内外形式化研究安全协议主要有基于知识与信念推理的模态逻辑方法,基于定理证明的方法和基于进程演算的方法三种。其中,进程演算对于协议的描述几乎接近协议的本身含义,可以很精确地刻划协议的运行过程。使用进程...
演算对TPM进行形式化建模,把TPM规范中定义的各实体行为特性抽象成为进程的并发安全性问题,在讨论并发进程中机密性、认证性和弱机密性的基础上,对交互模型进行安全性论证,提出并使用自动定理证明工具验证了对应安全...
保留字:二图,图重写,移动代理,普适计算,进程演算。如果我们想对普适计算建模,进程演算需要分支吗?我相信是这样的;我们不能期望一个固定的小原语集可以为所有事情工作。这已经在局部性和移动性(例如卢卡·...
进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。
主要研究带失配的高阶进程演算的公理化问题。首先,建立存在失配时高阶进程的开弱高阶互模拟理论,证明了等价关系,同余性等重要性质;其次,沿用线性的方法,制造得到带不匹配的有限进程上的公理系统;最后,基于...
梅雷迪思1首席技术官,DjinnisysCorporation 505 N72nd St,Seattle,WA 98103Matthias Radestock2LShift有限公司6 Rufus St,London N1 6PE摘要π-演算不是一个封闭的理论,而是一个依赖于名称理论的理论。...
保留字:进程代数,π-演算,UML,序列图,状态图,规范。1介绍统一建模语言(UML)[3]是一种用于捕获软件系统高级设计的它给出了结构化的,半形式化的,图形化的规范方法,但是这些方法对于系统的验证和确认
非对称Chi-演算的符号互模拟,黄银强,钟发荣,非对称chi-演算是一种移动计算模型。本文在给出非对称chi-演算的语法和转移语义的基础上,定义该演算的开互模拟关系,同时给出该演�
1960年代,Alonzo Church发明了一种基于函数和规则的计算模型——λ-演算(Lambda Calculus)。这个模型颠覆了当时对人类认知方式的观念,创造出一个全新的编程世界。随后1970年代,图灵提出了著名的计算机问世论题...
理论计算机科学电子笔记192(2007)5-11www.elsevier.com/locate/entcs一个性能良好的Pi-演算LTS(摘要)Pawel-Sobocin′ski1英国...保留字:Pi演算,进程演算,语义,标号迁移系统Pi演算[2,10]及其许多变体在文献中得
南京韩婷婷南京大学软件新技术国家重点实验室,南京建路南京大学软件新技术国家重点实验室,南京摘要π-演算是移动进程演算中最重要的一种,在文献中得到了广泛的研究。时态逻辑被认为是描述方便和抽象之间的一个很...
爱丁堡EH9 3JZ,苏格兰,英国{stark,tpcc}@ dcs.ed.ac.uk摘要本文介绍了一个进程演算,旨在捕捉的现象,名称是众所周知的,但总是指本地信息。我们的系统扩展了π演算,使一个通道名称可以在其范围内有几个不相交的...
280理论计算机科学电子笔记45(2001)网址:... Teague提格1,6计算机科学系,斯坦福大学,斯坦福,CA 94305美国摘要我们描述了一个进程演算,已开发的目的是分析安全协
南京周泾阳3南京大学软件新技术国家重点实验室,南京韩婷婷4南京大学软件新技术国家重点实验室,南京建路5号南京大学软件新技术国家重点实验室,南京摘要χ-演算是移动进程演算的一个重要发展。开同余在χ-演算中...
首次将进程代数PI演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险...
关键词:进程演算,类型,移动计算,安全和π演算1背景如今,移动代码的使用在整个计算场景中非常普遍,从公司的内部网络应用程序到将活动网络中的代码迁移到万维网中的动态内容,再到电话应用程序[51,36,43]。...
对Pi-演算进行语法扩展,提出了一种新的演算: SetPi-演算,在Pi-演算原有语义的基础上引入了“集合”的思想,从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义,刻画了SetPi-演算的...
针对这一问题,提出了可判定的、描述移动界程演算进程的空间结构和行为性质的应用界程逻辑。该逻辑定义了空间模态词和行为模态词来直接观察移动进程的空间性质和潜在交互行为性质,并定义了不动点公式来刻画进程的...