Role Activity Diagrams as Finite State Processes.

Costin Badica, Amelia Badica, Valentin Litoiu

Browse the full ISPDC paper archive.