Aissam Belghiat, Allaoua Chaoui. A Graph Transformation of Activity Diagrams into π-calculus for Verification Purpose. In Ramdane Maamri, Faiza Belala, editors, Proceedings of the 3rd International Conference on Advanced Aspects of Software Engineering, ICAASE 2018, Constantine, Algeria, December 1-2, 2018. Volume 2326 of CEUR Workshop Proceedings, pages 107-114, CEUR-WS.org, 2018. [doi]
Abstract is missing.