Research Article

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

Figure 1

The structure diagram of the capsule TopSystem.
656810.fig.001