On the Formalization of UML Activities for Component-Based Protocol Design Specifications.

Prabhu Shankar Kaliappan, Hartmut Knig

Browse the full SOFSEM paper archive.