Shuang Liu, Yang Liu, Étienne André, Christine Choppy, Jun Sun 0001, Bimlesh Wadhwa, Jin Song Dong. A Formal Semantics for Complete UML State Machines with Communications. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 331-346, Springer, 2013. [doi]
Abstract is missing.