Made-Potuijt, S.C. van der; Bruin, A. de - Erasmus Research Institute of Management (ERIM), ERIM … - 2002
By using Paradigm, it is possible to model cooperating processes and to make the communication between these processes very clear. This report gives a formal description of this modeling method using state-transition diagrams in order to model processes and homomorphismes and interleavings in...