An Extensible Operational Semantics for UML Activity Diagrams.

Zamira Daw, Rance Cleaveland

Browse the full SEFM paper archive.