Research Article

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

Figure 8

The state diagram of the capsule ConsumerTarget.
656810.fig.008