Research Article

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

Figure 7

The state diagram of the capsule Router.
656810.fig.007