On Formalizing UML 2.0 Activities: Stream and Exception Parameters.

Sabine Boufenara, Faiza Belala, Narayan C. Debnath

Browse the full CAINE paper archive.