Pi演算

Pi演算起源於上世紀80年代，有圖靈獎得住Robin Miln 它是一種描述和分析並發系統的演算模型，是用演算中的歸約表示由進程間的相互通信形成的動態演化。

Pi演算起源於上世紀80年代，有圖靈獎得住Robin Milner提出。它是一種描述和分析並發系統的演算模型，是用演算中的歸約表示由進程間的相互通信形成的動態演化。