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

Jennifer Tenzer, Perdita Stevens. On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. Formal Asp. Comput., 18(4):397-420, 2006. [doi]

Abstract

Abstract is missing.