19、π 演算中的分层通信拓扑结构解析

π 演算中的分层通信拓扑结构解析

1. 示例模型介绍

1.1 客户端 - 服务器模型

可以使用项 ν s c.P 来建模客户端 - 服务器模式的一种变体，其中 P = !S ∥!C ∥!M ，具体定义如下：
- S = s(x). ν d.x⟨d⟩ ：表示服务器监听端口 s 以接收客户端请求。收到请求（客户端发送的用于交换响应的通道 x ）后，服务器创建新名称 d 并通过 x 发送。
- C = c(m).(s⟨m⟩∥m(y).c⟨m⟩) ：客户端在邮箱 m 上重复向服务器发送请求，并在递归之前同时等待邮箱上的答案。
- M = τ. ν m.c⟨m⟩ ：创建无限多个客户端，每个客户端都有自己的私有邮箱 m 。

1.2 可重置计数器模型

可重置计数器是一个对 inc 、 dec 和 rst 三个通道上的消息做出反应的进程。其行为由进程 Ci 表示：

Ci = ! (pi(t). (inci.(t ∥pi⟨t⟩) + deci.(t.pi⟨t⟩) + rsti.(ν t′i.pi⟨t′i⟩)) )