Research Article

A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT

Figure 13

The structure diagram of the capsule Handover.
656810.fig.0013