进程代数是关于通信并发系统的代数理论的统称。20世纪70年代后期,英国学者RMnner和C. A.R,分别提出了通信系统演算和通信顺序进程,开创了用代数方法研究通信并发系统的先河。此后这一研究方向兴盛不衰,出现了众多类似而又 相互区别的演算系统,如ACP(提出者J.A.Ber郎tra 和J.W.K10p),ATp(提出者M.H即n樱y),Meije(提出者G.Eudol,R.desi~),LOTC6等,统称为进程代数。
进程代数(Process Algebra):用代数的方法来研究协议,它有一套完善的等价理论,如果与网论相结合,可以用一套完善的分析技术,提供一个结构清晰的模型。
基于174个网页-相关网页
进程代数(the Algebra of Process) 进程代数不但能够严密地描述协议的逻辑结构、协议的时序性,而且有利于协议验证的进行,这就引起人们的注意。
基于40个网页-相关网页
计算系统生物学_理论_方法及在药物研发中的应用(1) - docin.com豆丁网 具有助于随机ð- 演算 的推广,也为生物系统建模提供了多样化的方法。 2.2.2 性能评价进程代数 性能评价进程代数(performance evaluation pro- cess algebra, PEPA),是系统生物学中用到的另一种 进程代数方法 [27] 。PEPA 方法将模型描述为组分 (compo
基于4个网页-相关网页
Process Algebra is introduced to describe and verify the protocol.
文章还进一步采用进程代数的方法对多重通信协议进行形式化描述及验证。
参考来源 - 基于SMP结点的机群通信系统关键技术的研究·2,447,543篇论文数据,部分数据来源于NoteExpress
安全进程代数可以作为信息流安全的基础理论框架。
Security Process Algebra forms a basis for secure information flow theory.
文章在安全进程代数理论框架内讨论信息流安全模型。
A process algebraic approach to the modelling of information flow security is explained.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
应用推荐