UML Interactions Meet State Machines - An Institutional Approach

Alexander Knapp, Till Mossakowski. UML Interactions Meet State Machines - An Institutional Approach. In Filippo Bonchi, Barbara König 0001, editors, 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Alexander Knapp

This author has not been identified. Look up 'Alexander Knapp' in Google

Till Mossakowski

This author has not been identified. It may be one of the following persons: Look up 'Till Mossakowski' in Google