A fully abstract trace semantics for UML components (0)

by F S de Boer, M Bonsangue, M Steffen, E Ábrahám
Venue:In Bosangue et al