Π演算
在理论计算机科学中，π演算（或）是一种进程演算模型。 π演算允许通过通道本身传递通道名称。得益于此，它可以描述计算过程中网络拓扑可能发生变化的并发计算系统。 π演算语法简单，但表达能力很强（参见）。函数式程序可以被表示成π演算，这种表示强调了计算的对话本质，并与博弈语义建立了联系。π演算的扩展形式，如spi演算和应用π演算（applied π），在分析和推理方面获得了成功。除了用于描述并发系统的最初用途外，π演算也被用于推理、分子生物学…
标签：#进程演算
共 3 篇文章
通信顺序进程
在计算机科学中，通-{}-信顺序进程（，縮寫為CSP），又譯為交-{}-談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影響了Occam的設計，也影響了程式語言如Limbo、、Go、 和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CS…
进程演算
在计算机科学中，进程演算（或进程代数）是用于形式化建模并发系统的多种相关方法。进程演算提供了具体描述多个独立代理人程序或者是多个进程之间交互、通信、同步的方法，其中包含了对进程操作和分析的描述、以及证明形式化推导进程之间存在等价关系（例如：双向模拟的运用）的代数法则。关于进程演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。 基本特征 虽然目前为止的进程演算种类繁多…