Research Article

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

Figure 6

The state diagram of the capsule Source.
656810.fig.006