]>A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT : Figure 4
656810.fig.004a
(a)
656810.fig.004b
(b)
656810.fig.004c
(c)
Figure 4: The 𝐴 = 𝑧 ⟨ 𝑥 ⟩ + 𝑧 ⟨ 𝑦 ⟩ ∣ 𝑧 ( 𝑎 ) ⋅ 𝑎 ⟨ 𝑏 ⟩ ∣ 𝑥 ( 𝑐 ) ∣ 𝑦 ( 𝑑 ) . ( 7 ) -calculus mobility. (a) A process, (b) 𝜋 process, and (c) 𝑃 ≡ 𝑄 process.