π-演算

π-演算在理论计算机科学中，π-演算（或 pi-演算）是一种过程演算。 π-演算允许通道名称沿着通道本身进行通信，这样它就能够描述并发计算，其网络配置可能在计...