On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams.

Published in: Formal Aspects Comput. (2006)

Keyphrases