Research Article

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

Figure 11

The state diagram of the capsule HighExceptions.
656810.fig.0011