"Formal semantics of OMG's Interaction Flow Modeling Language (IFML) for ..."

Carlo Bernaschina, Sara Comai, Piero Fraternali (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics