An ASM Semantics of Token Flow in UML 2 Activity Diagrams (2007)

by S Sarstedt, W Guttmann
Venue:Proceedings of the 6th International Andrei Ershov memorial conference on Perspectives of systems informatics, I. Virbitskaite and A. Voronkov Eds., LNCS 4378