Towards the Formal Analysis of UML Activity Diagrams in a Calculus of Context-aware Ambients.

Franois Siewe

Browse the full COMPSAC paper archive.