A Formal Semantics for Complete UML State Machines with Communications.

Shuang Liu, Yang Liu, tienne Andr, Christine Choppy, Jun Sun, Bimlesh Wadhwa, Jin Song Dong

Browse the full IFM paper archive.