An Institutional Approach to Communicating UML State Machines.

Tobias Rosenberger, Alexander Knapp, Markus Roggenbach

Browse the full FASE paper archive.