UML Interactions Meet State Machines - An Institutional Approach.

Alexander Knapp, Till Mossakowski

Browse the full CALCO paper archive.