van der Made-Potuijt, S.C.; de Bruin, de Bruin, A. - Erasmus Research Institute of Management (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...