Assigning messages of the sequence diagram to the events of the CSP process An example of such an assignment is shown in Fig. 20. ... This analysis is only based on CSP processes, which are representations of UML activity diagrams.
|Title||:||Lectures on Concurrency and Petri Nets|
|Author||:||Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg|
|Publisher||:||Springer - 2004-07-09|