Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem. Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. In Giedre Dregvaite, Robertas Damasevicius, editors, Information and Software Technologies - 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings. Volume 465 of Communications in Computer and Information Science, pages 236-247, Springer, 2014. [doi]
Abstract is missing.