Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.

Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Humann

Browse the full FASE paper archive.