Pi演算起源於上世紀80年代，由圖靈獎得住Robin Milner提出。它是一種描述和分析並發系統的演算模型，是用演算中的歸約表示由進程間的相互通信形成的動態演化。
基本介紹
- 中文名：Pi演算
- 含義：描述和分析並發系統的演算模型
Pi演算起源於上世紀80年代，由圖靈獎得住Robin Milner提出。它是一種描述和分析並發系統的演算模型，是用演算中的歸約表示由進程間的相互通信形成的動態演化。
《分散式Pi演算(ADistributedPi-Calculus)》是出版時間年CambridgeUniversityPress出版社出版的圖書，作者是MatthewHennessy（馬修·亨尼西）。內容簡介 Distributed systems are fast becoming the norm in computer science. Formal mathematical ...
（2）我們研究了多元pi演算的 local cause 變體，其中Local cause 語義是進程演算中的一種真並發語義，可以在交錯框架下完全抽象刻畫。結果表明，多元pi演算的表達能力不會弱於帶local cause的多元pi演算。同時帶local cause多元pi演算的l...
第3章闡述基於Pi演算的組合服務建模過程，在此基礎上提出多組合服務互動的兼容性驗證方法，針對多組合服務同步互動行為的兼容性驗證進行進一步論證。第4章提出組合服務的分散式診斷架構，在該框架下，針對可獲取的診斷信息的不同，提出基於...
具體如下： 1、針對大粒度服務協同的特徵，對傳統的Pi 演算擴展為狀態Pi演算，包括語法擴展、語義、類型系統等擴展方面，提出了狀態Pi 演算的大粒度服務協同的通用行為模型建模方法。同時，針對大粒度服務協同描述語言BPEL，由於BPEL服務組合...
本項目組將Petri網的分析技術和Pi演算的分析技術進行交叉套用，提出了一種跨組織業務過程的分析方法。該方法採取分而治之的思想，把對跨組織業務過程的分析分解為對其三個過程形態的分析，分別是：私有過程的合理性分析、公共過程的行為...
第2章Applied PI演算與其BNF範式 第3章一階定理證明器ProVerif及套用 第4章機率進程演算Blanchet演算與其BNF範式 第5章自動化安全協定證明器CryptoVerif及套用 第6章自動化抽取安全協定Blanchet演算實施模型 第7章安全協定抽象規範模型生成...
其中，WN=exp(－2pi/N)。X(k)和x(n)都為複數。與之相對的快速傅立葉變換有很多種，如DIT（時域抽取法）、DIF（頻域抽取法）、Cooley－Tukey和Winograd等。對於2n傅立葉變換，Cooley－Tukey算法可導出DIT和DIF算法。本文運用的基本...